Centre Fédéré en Vérification

CFV Publications of Kim Guldstrand Larsen

Download this author's CFV publication list: [BibTeX]

2009

Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study Cassez, F, Jessen JJ, Larsen KG, Raskin J-F, Reynier P-A [BibTeX]

2007

Timed Control with Observation Based and Stuttering Invariant Strategies Cassez, F, David A, Larsen KG, Lime D, Raskin J-F [BibTeX]