Efficient On-the-Fly Algorithms for the Analysis of Timed Games.

Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Browse the full CONCUR paper archive.