Assumption-Based Runtime Verification with Partial Observability and Resets.
Alessandro CimattiChun TianStefano TonettaPublished in: RV (2019)
Keyphrases
- partial observability
- symbolic model checking
- model checking
- partially observable
- planning problems
- belief state
- planning under partial observability
- belief space
- reinforcement learning
- formal verification
- state space
- partial information
- partially observable markov decision processes
- markov decision process
- markov decision processes
- knowledge acquisition
- planning domains
- multi agent
- bayesian networks
- knowledge base