Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin. Timed Control with Observation Based and Stuttering Invariant Strategies.
5th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'07), Oct 2007, Tokyo, Japan. pp.307--321.
⟨inria-00363028⟩