Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions.
Davide AnconaAngelo FerrandoViviana MascardiPublished in: EUMAS (2022)
Keyphrases
- partially observable
- probabilistic planning
- reinforcement learning
- state space
- markov decision processes
- dynamical systems
- decision problems
- partial observations
- partial observability
- markov decision problems
- belief state
- partially observable environments
- model checking
- infinite horizon
- action models
- partially observable domains
- reward function
- generative model
- bayesian networks
- belief space
- fully observable
- dynamic systems
- planning domains