Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Brihaye, Thomas"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On equilibria in quantitative games with reachability/safety objectives
Thomas Brihaye
,
Véronique Bruy`ere
,
Julie De Pril
Theory of Computing Systems
54
(2), 2014, pp. 150-189
Emptiness and universality problems in timed automata with positive frequency
Nathalie Bertrand
,
Patricia Bouyer
,
Thomas Brihaye
,
Amélie Stainer
Lecture Notes in Computer Science
6756
, 2011, pp. 246-257
On reachability for hybrid automata over bounded time
Thomas Brihaye
,
Laurent Doyen
,
Gilles Geeraerts
,
Joël Ouaknine
,
Jean-François Raskin
,
James Worrell
Lecture Notes in Computer Science
6756
, 2011, pp. 416-427
Equilibria in quantitative reachability games
Thomas Brihaye
,
Véronique Bruyère
,
Julie De Pril
Lecture Notes in Computer Science
6072
, 2010, pp. 72-83
When are timed automata determinizable?
Christel Baier
,
Nathalie Bertrand
,
Patricia Bouyer
,
Thomas Brihaye
Lecture Notes in Computer Science
5556
, 2009, pp. 43-54
Probabilistic and topological semantics for timed automata
Christel Baier
,
Nathalie Bertrand
,
Patricia Bouyer
,
Thomas Brihaye
,
Marcus Größer
Lecture Notes in Computer Science
4855
, 2007, pp. 179-191
Minimum-time reachability in timed games
Thomas Brihaye
,
Thomas A. Henzinger
,
Vinayak S. Prabhu
,
Jean-François Raskin
Lecture Notes in Computer Science
4596
, 2007, pp. 825-837
Improved undecidability results on weighted timed automata
Patricia Bouyer
,
Thomas Brihaye
,
Nicolas Markey
Information Processing Letters
98
(5), 2006, pp. 188-194
On model-checking timed automata with stopwatch observers
Thomas Brihaye
,
Veronique Bruyère
,
Jean-François Raskin
Information and Computation
204
(3), 2006, pp. 408-433
Erratum to ''On the expressiveness and decidability of
o
-minimal hybrid systems''
Thomas Brihaye
,
Christian Michaux
Journal of Complexity
22
(3), 2006, pp. 431-434
On the expressiveness and decidability of
o
-minimal hybrid systems
Thomas Brihaye
,
Christian Michaux
Journal of Complexity
21
(4), 2005, pp. 447-478