C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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