Timed Automata: Semantics, Algorithms and Tools.
Johan BengtssonWang YiPublished in: Lectures on Concurrency and Petri Nets (2003)
Keyphrases
- timed automata
- optimization problems
- decision trees
- times faster
- model checking
- semantic information
- significant improvement
- computational cost
- orders of magnitude
- end users
- machine learning algorithms
- reachability analysis
- data sets
- computational tools
- benchmark datasets
- query language
- evolutionary algorithm
- expert systems
- data structure
- bayesian networks
- learning algorithm
- data mining