Verifying Belief-Based Programs via Symbolic Dynamic Programming.

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

Browse the full ECAI paper archive.