Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
Sofie HaesaertPetter NilssonCristian Ioan VasileRohan ThakkerAli-akbar Agha-mohammadiAaron D. AmesRichard M. MurrayPublished in: ADHS (2018)
Keyphrases
- temporal logic
- stochastic simulation
- model checking
- temporal knowledge
- modal logic
- reinforcement learning
- bayesian analysis
- belief revision
- belief networks
- linear temporal logic
- verification method
- computation tree logic
- ordinary differential equations
- finite state
- simple examples
- conditional probabilities
- class labels
- graphical models