Verifying Belief-Based Programs via Symbolic Dynamic Programming.
Daxin LiuQinfei HuangVaishak BelleGerhard LakemeyerPublished in: ECAI (2023)
Keyphrases
- dynamic programming
- intermediate level
- belief revision
- state space
- stereo matching
- dp matching
- connectionist learning
- markov decision processes
- model checking
- optimal policy
- real time
- greedy algorithm
- provably correct
- low level
- multi agent
- knowledge base
- probability theory
- programming environment
- information systems
- evidential reasoning
- java programs
- neural learning
- data mining
- neural network