bibliographer - Alexandre David

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]

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

On Time with Minimal Expected Cost Alexandre David Peter G. Jensen Kim Guldstrand Larsen Axel Legay Didier Lime Mathias Grund Sørensen Jakob H. Taankvist [github]

UPPAAL 4.0 Gerd Behrmann Alexandre David Kim G. Larsen John Hakansson Paul Petterson Wang Yi Martijn Hendriks [github]

A Tutorial on Uppaal Gerd Behrmann Alexandre David Kim G. Larsen [github]

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation Peter Bulychev Thomas Chatain Alexandre David Kim G. Larsen [github]

Timed I/O automata Alexandre David Kim G. Larsen Axel Legay Ulrik Nyman Andrzej Wasowski [github]

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

[show logs] [hide logs]