bibliographer - François Laroussinie

bibliographer a curated TCS bibliography

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

Timed Concurrent Game Structures Thomas Brihaye François Laroussinie Nicolas Markey Ghassan Oreiby [github]

From timed automata to logic --- and back François Laroussinie Kim G. Larsen Carsten Weise [github]

Model-checking Timed ATL for Durational Concurrent Game Structures François Laroussinie Nicolas Markey Ghassan Oreiby [github]

Model Checking Probabilistic Timed Automata with One or Two Clocks Marcin Jurdziński François Laroussinie Jeremy Sproston [github]

Temporal Logic with Forgettable Past François Laroussinie Nicolas Markey Ph. Schnoebelen [github]

A New Modality for Almost Everywhere Properties in Timed Automata Houda Bel Mokadem Béatrice Bérard Patricia Bouyer François Laroussinie [github]

Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems Patricia Bouyer François Laroussinie Pierre-Alain Reynier [github]

Timed Temporal Logics Patricia Bouyer François Laroussinie Nicolas Markey Joël Ouaknine James Worrell [github]

Augmenting ATL with strategy contexts François Laroussinie Nicolas Markey [github]

Counting LTL Francois Laroussinie Antoine Meyer Eudes Petonnet [github]

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

[show logs] [hide logs]