Laurent Doyen: Publications by Topic


Antichains: Symbolic Algorithms for System Analysis



Games for Verification and Synthesis



Quantitative Model-Checking



Real Time: Verification of Timed and Hybrid Automata



Miscellaneous



Last updated in September 2011.