Login / Signup

Model Checking MDPs with a Unique Compact Invariant Set of Distributions.

Rohit ChadhaVijay Anand KorthikantiMahesh ViswanathanGul AghaYoungMin Kwon
Published in: QEST (2011)
Keyphrases
  • model checking
  • temporal logic
  • markov decision processes
  • finite state
  • temporal properties
  • reachability analysis
  • probability distribution
  • epistemic logic
  • computation tree logic