Uni-Logo

Institut für Informatik
 

Technical Report No. 284 - Abstract



David Speck and Florian Geißer and Robert Mattmüller
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams - Detailed Proofs

This report contains the proof of correctness, soundness and optimality for EVMDD-A* presented in the paper Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams (Speck, Geißer, and Mattmüller 2018).



Report No. 284 (PDF)