Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
Franck CassezAlexandre DavidEmmanuel FleuryKim Guldstrand LarsenDidier LimePublished in: CONCUR (2005)
Keyphrases
- efficient implementation
- highly efficient
- significant improvement
- computationally efficient
- computationally expensive
- computationally complex
- computationally intensive
- complexity analysis
- learning algorithm
- computational efficiency
- computational complexity
- data structure
- efficient solutions
- parallel architectures
- computationally demanding
- highly scalable
- colored petri nets
- times faster
- recently developed
- combinatorial optimization
- orders of magnitude
- benchmark datasets
- optimization problems
- evolutionary algorithm
- multi agent