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