Efficient on-the-fly algorithms for the analysis of timed games (2005)

by F Cassez, A David, E Fleury, K G Larsen, D Lime
Venue:In CONCUR 2005