Controllers with Minimal Observation Power (Application to Timed Systems).

Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Franois Raskin, Pierre-Alain Reynier

Browse the full ATVA paper archive.