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

Franck Cassez Alexandre David Emmanuel Fleury Kim Guldstrand Larsen Didier Lime Efficient On-the-Fly Algorithms for the Analysis of Timed Games. 66-80 2005 conf/concur/2005 CONCUR http://dx.doi.org/10.1007/11539452_9 db/conf/concur/concur2005.html#CassezDFLL05