Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions.

Davide Ancona Angelo Ferrando Viviana Mascardi

Published 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