Efficient on-the-fly algorithms for the analysis of timed games

Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen, Didier Lime

Research output: Contribution to journalConference paperpeer-review

177 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Efficient on-the-fly algorithms for the analysis of timed games'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science