Bouyer, Patricia
-
BRICS Report Series No. 35 (2002): RS-35 Timed Automata May Cause Some Troubles - Articles
Timed Automata May Cause Some Troubles
Abstract PDF -
BRICS Report Series No. 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata - Articles
Optimal Strategies in Priced Timed Game Automata
Abstract PDF -
BRICS Report Series No. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata - Articles
The Power of Reachability Testing for Timed Automata
Abstract PDF