Centre Fédéré en Vérification
Home Page
Groups
Publications
Information
Seminars
Contact
Login
Home
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]
Upcoming Seminars
Friday 5 June 2020
Games with a parameterized number of players
Nathalie Bertrand
14:00
BigBlueButton (Online)
Thursday 18 June 2020
On the existential fragment of Büchi arithmetic
Christoph Haase
14:00
Zoom (Online)