Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes.

Maxime Bouton Jana Tumova Mykel J. Kochenderfer

Published in: CoRR (2020)

Keyphrases

model checking
finite state
temporal logic
dynamical systems
formal methods
decision makers
linear programming
epistemic logic
computation tree logic