Timed Control with Observation Based and Stuttering Invariant Strategies.

Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-Franois Raskin

Browse the full ATVA paper archive.