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).