Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata.

Loïg Jezequel Didier Lime

Published in: FORMATS (2017)

Keyphrases

reachability analysis
timed automata
model checking
markov decision processes
theorem prover
lazy learning
incremental algorithms
real time systems
first order logic
theorem proving
state space
temporal logic
averaged one dependence estimators
machine learning
naive bayes
steady state