Login / Signup
Learning Probabilistic Automata for Model Checking.
Hua Mao
Yingke Chen
Manfred Jaeger
Thomas D. Nielsen
Kim G. Larsen
Brian 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