Lazy abstractions for timed automata
Frédéric HerbreteauB. SrivathsanIgor WalukiewiczPublished in: CoRR (2013)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- high level
- first order logic
- theorem proving
- lazy learning
- averaged one dependence estimators
- database systems
- temporal logic
- information systems
- real time systems
- data sets
- bayesian networks
- knowledge base
- genetic algorithm
- information retrieval
- database