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

Maxime Bouton Jana Tumova Mykel J. Kochenderfer

Published in: AAAI (2020)

Keyphrases

model checking
finite state
temporal logic
verification method
automated verification
machine learning
dynamical systems
decision problems
formal verification
symbolic model checking