Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata.

Roland Kindermann Tommi A. Junttila Ilkka Niemelä

Published in: FMOODS/FORTE (2012)

Keyphrases

model checking
bounded model checking
timed automata
temporal logic
formal verification
reachability analysis
formal specification
linear temporal logic
finite state
machine learning
statistical machine translation
transition systems
cooperative
planning domains
modal logic
domain specific
learning algorithm