Verifying Belief-based Programs via Symbolic Dynamic Programming

Daxin Liu*, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Finished

Search results