Login / Signup

Learning Probabilistic Automata for Model Checking.

Hua MaoYingke ChenManfred JaegerThomas D. NielsenKim G. LarsenBrian Nielsen
Published in: QEST (2011)
Keyphrases
  • model checking
  • temporal logic
  • probabilistic automata
  • learning algorithm
  • reinforcement learning
  • database
  • relational databases
  • finite state machines
  • formal methods
  • model checker
  • verification method
  • timed automata