bibliographer - Emmanuel Fleury

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]

UPPAAL-Tiga: Time for Playing Games Gerd Behrmann Agnès Cougnard Alexandre David Emmanuel Fleury Kim G. Larsen Didier Lime [github]

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

Are Timed Automata Updatable Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit [github]

Updatable timed automata Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit [github]

Static Guard Analysis in Timed Automata Verification Gerd Behrmann Patricia Bouyer Emmanuel Fleury Kim G. Larsen [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]