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
Hilfe
Suche: Author="Raskin, Jean-Fran{\c{c}}ois"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games
Véronique Bruyère
,
Emmanuel Filiot
,
Mickael Randour
,
Jean-François Raskin
Leibniz International Proceedings in Informatics (LIPIcs)
25
, 2014, pp. 199-213
Strategy synthesis for multi-dimensional quantitative objectives
Krishnendu Chatterjee
,
Mickael Randour
,
Jean-François Raskin
Acta Informatica
51
(3-4), 2014, pp. 129-163
Finite-valued weighted automata
Emmanuel Filiot
,
Raffaella Gentilini
,
Jean-François Raskin
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 133-145
Quantitative games with interval objectives
Paul Hunter
,
Jean-François Raskin
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 365-377
Multiple-environment Markov decision processes
Jean-François Raskin
,
Ocan Sankur
Leibniz International Proceedings in Informatics (LIPIcs)
29
, 2014, pp. 531-543
\omega
-Petri nets
Gilles Geeraerts
,
Alexander Heußner
,
M. Praveen
,
Jean-François Raskin
Lecture Notes in Computer Science
7927
, 2013, pp. 49-69
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
Generalized mean-payoff and energy games
Krishnendu Chatterjee
,
Laurent Doyen
,
Thomas A. Henzinger
,
Jean-François Raskin
Leibniz International Proceedings in Informatics (LIPIcs)
8
, 2010, pp. 505-516
Iterated regret minimization in game graphs
Emmanuel Filiot
,
Tristan Le Gall
,
Jean-François Raskin
Lecture Notes in Computer Science
6281
, 2010, pp. 342-354
Properties of visibly pushdown transducers
Emmanuel Filiot
,
Jean-François Raskin
,
Pierre-Alain Reynier
,
Frédéric Servais
,
Jean-Marc Talbot
Lecture Notes in Computer Science
6281
, 2010, pp. 355-367
Fixed point guided abstraction refinement for alternating automata
Pierre Ganty
,
Nicolas Maquet
,
Jean-François Raskin
Theoretical Computer Science
411
(38-39), 2010, pp. 3444-3459
On the efficient computation of the minimal coverability set of Petri nets
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent van Begin
International Journal of Foundations of Computer Science
21
(2), 2010, pp. 135-165
Equivalence of labeled Markov chains
Laurent Doyen
,
Thomas A. Henzinger
,
Jean-François Raskin
International Journal of Foundations of Computer Science
19
(3), 2008, pp. 549-563
Visibly pushdown transducers
Jean-François Raskin
,
Frédéric Servais
Lecture Notes in Computer Science
5126
, 2008, pp. 386-397
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
From many places to few: Automatic abstraction refinement for Petri nets
Pierre Ganty
,
Jean-François Raskin
,
Laurent Van Begin
Lecture Notes in Computer Science
4546
, 2007, pp. 124-143
Well-structured languages
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent Van Begin
Acta Informatica
44
(3-4), 2007, pp. 249-288
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
Model checking restricted sets of timed paths
Nicolas Markey
,
Jean-François Raskin
Theoretical Computer Science
358
(2-3), 2006, pp. 273-292
Expand, enlarge, and check: New algorithms for the coverability problem of WSTS
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent Van Begin
Lecture Notes in Computer Science
3328
, 2004, pp. 287-298
Durations, parametric model-checking in timed automata with Presburger arithmetic
Véronique Bruère
,
Emmanuel Dall'Olio
,
Jean-François Raskin
Lecture Notes in Computer Science
2607
, 2003, pp. 687-698
Real-time model-checking: Parameters everywhere
Véronique Bruyère
,
Jean-François Raskin
Lecture Notes in Computer Science
2914
, 2003, pp. 100-111