Priced Timed Automata: Algorithms and Applications.
Gerd BehrmannKim Guldstrand LarsenJacob Illum RasmussenPublished in: FMCO (2004)
Keyphrases
- knowledge representation
- expert systems
- data structure
- timed automata
- benchmark datasets
- computationally efficient
- computational efficiency
- computationally expensive
- times faster
- learning algorithm
- evolutionary algorithm
- query processing
- computational cost
- computational complexity
- worst case
- optimization problems
- theoretical analysis
- orders of magnitude