Login / Signup

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.

YoungMin KwonGul A. Agha
Published in: QEST (2005)
Keyphrases
  • model checker
  • model checking
  • formal verification
  • description language
  • formal methods
  • reinforcement learning
  • temporal logic
  • artificial intelligence
  • training set
  • evolutionary algorithm
  • symbolic model checking