bibliographer - Franck Cassez

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Efficient On-the-Fly Algorithms for the Analysis of Timed Games Franck Cassez Alexandre David Emmanuel Fleury Kim G. Larsen Didier Lime [github]

Timed Control with Observation Based and Stuttering Invariant Strategies Franck Cassez Alexandre David Kim G. Larsen Didier Lime Jean-François Raskin [github]

Optimal Strategies in Priced Timed Game Automata Patricia Bouyer Franck Cassez Emmanuel Fleury Kim G. Larsen [github]

Effective Recognizability and Model Checking of Reactive Fiffo Automata Grégoire Sutre Alain Finkel Olivier Roux Franck Cassez [github]

The Impressive Power of Stopwatches Franck Cassez Kim Guldstrand Larsen [github]

The Impressive Power of Stopwatches Franck Cassez Kim Larsen [github]

Structural translation from Time Petri Nets to Timed Automata Franck Cassez Olivier H. Roux [github]

Energy and mean-payoff timed games Romain Brenguier Franck Cassez Jean-François Raskin [github]

Library Size: 13G (8 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]