Service de mathématiques effectives - Research
Publications (by year)
-
Christel Baier, Nathalie Bertrand, Patricia Bouyer and Thomas
Brihaye,
When are timed automata determinizable ?, ICALP'09.
- Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, and
Nicolas Markey, ATL with Strategy Contexts and
Bounded Memory., LFCS'09.
-
Thomas Brihaye, Christian Michaux, Cédric Rivière, Cell decomposition
and dimension function in theory of closed ordered differential
fields, APAL.
- Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic
and Michal Rutkowski, Average-Price and
Reachability-Price Games on Hybrid Automata with Strong Resets.,
FORMATS'08.
- Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Nicolas
Markey, Quantitative Model-Checking of One-Clock
Timed Automata under Probabilistic Semantics., QEST'08.
-
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas
Brihaye and Marcus Größer,
Almost-Sure Model Checking of Infinite Paths in
One-Clock Timed Automata, LICS'08.
- Thomas Brihaye, Mohamed Ghannem, Nicolas Markey and Lionel Rieg, Good friends are hard to find!, TIME'08.
- Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye
and Marcus Größer, Probabilistic and
Topological Semantics for Timed Automata, FSTTCS'07.
- Patricia Bouyer, Thomas Brihaye, Véronique Bruyère and
Jean-François Raskin, On the optimal
reachability problem on weighted timed automata, Formal Methods in
System Design.
- Thomas Brihaye, Words and bisimulation of
dynamical systems, Discrete Mathematics & Theoretical Computer
Science.
- Thomas Brihaye, Thomas A. Henzinger, Vinayak Prabhu and
Jean-François Raskin, Minimum-time
reachability in timed games, ICALP'07.
- Thomas Brihaye, François Laroussinie, Nicolas Markey and Ghassan
Oreiby, Timed Concurrent Game Structures,
CONCUR'07.
- Patricia Bouyer, Thomas Brihaye and Fabrice Chevalier, Weighted O-Minimal Hybrid Systems are more Decidable
than Weighted Timed Automata!, LFCS'07.
- Patricia Bouyer, Thomas Brihaye and Fabrice Chevalier,
Control in o-Minimal Hybrid Systems,
LICS'06.
- Patricia Bouyer, Thomas Brihaye and Nicolas Markey, Improved Undecidability Results on Weighted Timed
Automata, Information Processing Letters.
- Thomas Brihaye,
A note on the undecidability of the reachability problem for o-minimal dynamical systems,
Mathematical Logic Quarterly.
- Thomas Brihaye, Véronique Bruyère and Jean-François
Raskin,
On Model-Checking Timed Automata with Stopwatch Observers,
Information and Computation.
List of coauthors
Some Talks