×

zbMATH — the first resource for mathematics

Raskin, Jean-François

Compute Distance To:
Author ID: raskin.jean-francois Recent zbMATH articles by "Raskin, Jean-François"
Published as: Raskin, J. F.; Raskin, J.-F.; Raskin, Jean-Francois; Raskin, Jean-François
Documents Indexed: 144 Publications since 1998, including 5 Books
all top 5

Co-Authors

1 single-authored
28 Doyen, Laurent
21 Bruyère, Véronique
21 Filiot, Emmanuel
17 Geeraerts, Gilles
15 Van Begin, Laurent
14 Henzinger, Thomas A.
11 Brihaye, Thomas
11 Pérez, Guillermo A.
11 Randour, Mickael
10 Chatterjee, Krishnendu
10 Sankur, Ocan
9 Hunter, Paul
8 De Wulf, Martin
7 Brenguier, Romain
7 Gentilini, Raffaella
6 Cassez, Franck
6 Ganty, Pierre
5 Larsen, Kim Guldstrand
5 Pauly, Arno M.
5 Schobbens, Pierre-Yves
4 Leroux, Stéphane
4 Maquet, Nicolas
4 Markey, Nicolas
4 Mazzocchi, Nicolas
4 Reynier, Pierre-Alain
4 Servais, Frédéric
3 Delzanno, Giorgio
3 Finkel, Alain
3 Majumdar, Rupak
3 Sznajder, Nathalie
2 Basset, Nicolas
2 Berthon, Raphaël
2 Bohy, Aaron
2 Clemente, Lorenzo
2 Dall’Olio, Emmanuel
2 David, Alexandre
2 Goeminne, Aline
2 Heußner, Alexander
2 Jin, Naiyong
2 Le Gall, Tristan
2 Meunier, Noémie
2 Ouaknine, Joel O.
2 Praveen, M.
2 Samuelides, Mathias
2 Sassolas, Mathieu
2 Talbot, Jean-Marc
2 Worrell, James B.
1 Bertrand, Nathalie
1 Bodlaender, Hans L.
1 Bouyer, Patricia
1 Brim, Luboš
1 Bulychev, Peter E.
1 Chaloupka, Jakub
1 Chechik, Marsha
1 Collette, Sébastien
1 Condurache, Rodica
1 Cousot, Patrick
1 Degorre, Aldric
1 Di Giampaolo, Barbara
1 Ducobu, Marc
1 Esparza, Javier
1 Ferier, Laurent
1 Guha, Shibashis
1 Hautem, Quentin
1 Jecker, Ismaël
1 Jessen, Jan J.
1 Jin, Nayiong
1 Juhl, Line
1 Kalyon, Gabriel
1 Kremer, Steve
1 Křetínský, Jan
1 Leroux, Jérôme
1 Lhote, Nathan
1 Lime, Didier
1 Mang, Freddy Y. C.
1 Prabhu, Vinayak S.
1 Rabinovich, Alexander
1 Reichert, Julien
1 Sickert, Salomon
1 Tamines, Clément
1 Thiagarajan, Pazhamaneri Subramaniam
1 Toruńczyk, Szymon
1 van den Bogaard, Marie
1 Velner, Yaron

Publications by Year

Citations contained in zbMATH Open

112 Publications have been cited 664 times in 360 Documents Cited by Year
Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F.
30
2006
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
28
2011
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
23
2010
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2007
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
2006
Almost ASAP semantics: from timed models to timed implementations. Zbl 1101.68670
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
15
2005
An antichain algorithm for LTL realizability. Zbl 1242.68158
Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François
14
2009
On the optimal reachability problem of weighted timed automata. Zbl 1129.68039
Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
13
2007
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
13
2005
Model-checking for weighted timed automata. Zbl 1109.68512
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
13
2004
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
12
2015
Antichains and compositional algorithms for LTL synthesis. Zbl 1258.03046
Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François
12
2011
Antichain algorithms for finite automata. Zbl 1284.68348
Doyen, Laurent; Raskin, Jean-François
12
2010
Robust safety of timed automata. Zbl 1165.68392
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
12
2008
Expand, enlarge and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68084
Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
12
2006
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
11
2014
Antichains: Alternative algorithms for LTL satisfiability and model-checking. Zbl 1134.68404
De Wulf, M.; Doyen, L.; Maquet, N.; Raskin, J.-F.
11
2008
A comparison of control problems for timed and hybrid systems. Zbl 1044.93518
Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François
11
2002
Robust undecidability of timed and hybrid systems. Zbl 0944.93018
Henzinger, Thomas A.; Raskin, Jean-François
11
2000
Variations on the stochastic shortest path problem. Zbl 1432.90155
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
10
2015
Synthesis from LTL specifications with mean-payoff objectives. Zbl 1381.68149
Bohy, Aaron; Bruyère, Véronique; Filiot, Emmanuel; Raskin, Jean-François
10
2013
Equivalence of labeled Markov chains. Zbl 1155.68035
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
10
2008
On optimal timed strategies. Zbl 1175.68241
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
10
2005
Axioms for real-time logics. Zbl 0928.03022
Raskin, J.-F.; Schobbens, P.-Y.; Henzinger, T. A.
10
1998
Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
9
2005
Energy and mean-payoff games with imperfect information. Zbl 1287.91028
Degorre, Aldric; Doyen, Laurent; Gentilini, Raffaella; Raskin, Jean-François; Toruńczyk, Szymon
8
2010
Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058
Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain
8
2009
On model-checking timed automata with stopwatch observers. Zbl 1094.68055
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
8
2006
Towards the automated verification of multithreaded Java programs. Zbl 1043.68530
Delzanno, Giorgio; Raskin, Jean-François; Van Begin, Laurent
8
2002
Improved algorithms for the automata-based approach to model-checking. Zbl 1186.68285
Doyen, Laurent; Raskin, Jean-François
7
2007
A lattice theory for solving games of imperfect information. Zbl 1178.93072
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
7
2006
A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
7
2006
Axioms for real-time logics. Zbl 0994.03009
Schobbens, P.-Y.; Raskin, J.-F.; Henzinger, T. A.
7
2002
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
7
2000
The logic of event clocks. Decidability, complexity and expressiveness. Zbl 0978.03015
Raskin, Jean-François; Schobbens, Pierre-Yves
7
1999
On the existence of weak subgame perfect equilibria. Zbl 06720988
Bruyère, Véronique; Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François
6
2017
Assume-admissible synthesis. Zbl 1374.68322
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
6
2015
Weak subgame perfect equilibria and their application to quantitative reachability. Zbl 1375.91042
Brihaye, Thomas; Bruyère, Véronique; Meunier, Noémie; Raskin, Jean-François
6
2015
The complexity of admissibility in omega-regular games. Zbl 1401.68110
Brenguier, Romain; Raskin, Jean-François; Sassolas, Mathieu
6
2014
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. Zbl 1360.91042
Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François
6
2014
Antichains for the automata-based approach to model-checking. Zbl 1164.68021
Doyen, Laurent; Raskin, Jean-François
6
2009
Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François
6
2007
Minimum-time reachability in timed games. Zbl 1171.68526
Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François
6
2007
Real-time model-checking: parameters everywhere. Zbl 1128.68052
Bruyère, Véronique; Raskin, Jean-François
6
2007
Monotonic extensions of Petri nets: forward and backward search revisited. Zbl 1270.68214
Finkel, A.; Raskin, J.-F.; Samuelides, M.; van Begin, L.
6
2003
Durations, parametric model-checking in timed automata with Presburger arithmetic. Zbl 1035.68063
Bruyère, Véronique; Dall’Olio, Emmanuel; Raskin, Jean-François
6
2003
Percentile queries in multi-dimensional Markov decision processes. Zbl 1381.68219
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
5
2015
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
5
2015
Doomsday equilibria for omega-regular games. Zbl 1428.68181
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François
5
2014
Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399
Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François
5
2013
Compositional algorithms for LTL synthesis. Zbl 1305.68118
Filiot, Emmanuel; Jin, Nayiong; Raskin, Jean-François
5
2010
Properties of visibly pushdown transducers. Zbl 1287.68095
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc
5
2010
Visibly pushdown transducers. Zbl 1155.68420
Raskin, Jean-François; Servais, Frédéric
5
2008
Fixpoint-guided abstraction refinements. Zbl 1211.68083
Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François
5
2007
Well-structured languages. Zbl 1119.68105
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
5
2007
Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
4
2017
Non-zero sum games for reactive synthesis. Zbl 1435.68147
Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul; Pérez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
4
2016
Quantitative languages defined by functional automata. Zbl 1448.68263
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
4
2015
Secure equilibria in weighted games. Zbl 1401.91012
Bruyère, Véronique; Meunier, Noémie; Raskin, Jean-François
4
2014
Mean-payoff games with partial-observation (extended abstract). Zbl 1393.68106
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
4
2014
Quantitative languages defined by functional automata. Zbl 1364.68250
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
4
2012
Games with imperfect information: theory and algorithms. Zbl 1229.91080
Doyen, Laurent; Raskin, Jean-François
4
2011
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Safraless procedures for timed specifications. Zbl 1290.68070
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
4
2010
Games for counting abstractions. Zbl 1272.91014
Raskin, J.-F.; Samuelides, M.; Van Begin, L.
4
2005
A game-based verification of non-repudiation and fair exchange protocols. Zbl 1006.68528
Kremer, Steve; Raskin, Jean-François
4
2001
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
3
2017
The complexity of rational synthesis. Zbl 1388.68163
Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
3
2016
Pareto curves of multidimensional mean-payoff games. Zbl 1382.91012
Brenguier, Romain; Raskin, Jean-François
3
2015
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
\(\omega \)-Petri nets. Zbl 1381.68202
Geeraerts, Gilles; Heussner, Alexander; Praveen, M.; Raskin, Jean-François
3
2013
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
3
2012
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
3
2009
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1154.68087
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
3
2008
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1092.68066
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; van Begin, L.
3
2006
Threshold constraints with guarantees for parity objectives in Markov decision processes. Zbl 1442.90199
Berthon, Raphaël; Randour, Mickael; Raskin, Jean-François
2
2017
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. Zbl 1371.91022
Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François
2
2017
Admissibility in quantitative graph games. Zbl 1394.91058
Brenguier, Romain; Pérez, Guillermo A.; Raskin, Jean-Francois; Sankur, Ocan
2
2016
Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives. Zbl 1401.68117
Clemente, Lorenzo; Raskin, Jean-François
2
2015
\(\omega\)-Petri nets: algorithms and complexity. Zbl 1335.68172
Geeraerts, Gilles; Heußner, Alexander; Praveen, M.; Raskin, Jean-François
2
2015
Energy and mean-payoff timed games. Zbl 1362.91003
Brenguier, Romain; Cassez, Franck; Raskin, Jean-François
2
2014
Finite-valued weighted automata. Zbl 1360.68554
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
2
2014
Event clock automata: from theory to practice. Zbl 1348.68102
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
2
2011
On the efficient computation of the minimal coverability set for Petri nets. Zbl 1141.68507
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2007
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1272.68302
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
2
2005
Expand, enlarge and check …made efficient. Zbl 1081.68619
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2005
Petri nets with non-blocking arcs are difficult to analyze. Zbl 1271.68194
Raskin, Jean-François; Van Begin, Laurent
2
2004
Almost ASAP semantics: from timed models to timed implementations. Zbl 1135.93345
Wulf, Martin De; Doyen, Laurent; Raskin, Jean-François
2
2004
Expand, enlarge, and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68353
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2004
Real-time model-checking: parameters everywhere. Zbl 1205.68219
Bruyère, Véronique; Raskin, Jean-François
2
2003
Symbolic representation of upward-closed sets. Zbl 0961.68096
Delzanno, Giorgio; Raskin, Jean-François
2
2000
The logic of “initially” and “next”: complete axiomatization and complexity. Zbl 1338.03027
Schobbens, P.-Y.; Raskin, J.-F.
2
1999
The complexity of subgame perfect equilibria in quantitative reachability games. Zbl 07285575
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; van den Bogaard, Marie
1
2020
Looking at mean payoff through foggy windows. Zbl 1408.91045
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
1
2018
A pattern logic for automata with outputs. Zbl 1458.68096
Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François
1
2018
Visibly pushdown transducers. Zbl 1398.68307
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc
1
2018
Symbolic model checking in non-Boolean domains. Zbl 1392.68259
Majumdar, Rupak; Raskin, Jean-François
1
2018
Mean-payoff games with partial observation. Zbl 1393.68105
Hunter, Paul; Pauly, Arno; Pérez, Guillermo A.; Raskin, Jean-François
1
2018
Minkowski games. Zbl 1402.91089
Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François
1
2017
The complexity of subgame perfect equilibria in quantitative reachability games. Zbl 07285575
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; van den Bogaard, Marie
1
2020
Looking at mean payoff through foggy windows. Zbl 1408.91045
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
1
2018
A pattern logic for automata with outputs. Zbl 1458.68096
Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François
1
2018
Visibly pushdown transducers. Zbl 1398.68307
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc
1
2018
Symbolic model checking in non-Boolean domains. Zbl 1392.68259
Majumdar, Rupak; Raskin, Jean-François
1
2018
Mean-payoff games with partial observation. Zbl 1393.68105
Hunter, Paul; Pauly, Arno; Pérez, Guillermo A.; Raskin, Jean-François
1
2018
On the existence of weak subgame perfect equilibria. Zbl 06720988
Bruyère, Véronique; Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François
6
2017
Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
4
2017
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
3
2017
Threshold constraints with guarantees for parity objectives in Markov decision processes. Zbl 1442.90199
Berthon, Raphaël; Randour, Mickael; Raskin, Jean-François
2
2017
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. Zbl 1371.91022
Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François
2
2017
Minkowski games. Zbl 1402.91089
Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François
1
2017
Decidable weighted expressions with Presburger combinators. Zbl 1429.68112
Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François
1
2017
Non-zero sum games for reactive synthesis. Zbl 1435.68147
Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul; Pérez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
4
2016
The complexity of rational synthesis. Zbl 1388.68163
Condurache, Rodica; Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
3
2016
Admissibility in quantitative graph games. Zbl 1394.91058
Brenguier, Romain; Pérez, Guillermo A.; Raskin, Jean-Francois; Sankur, Ocan
2
2016
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
12
2015
Variations on the stochastic shortest path problem. Zbl 1432.90155
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
10
2015
Assume-admissible synthesis. Zbl 1374.68322
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
6
2015
Weak subgame perfect equilibria and their application to quantitative reachability. Zbl 1375.91042
Brihaye, Thomas; Bruyère, Véronique; Meunier, Noémie; Raskin, Jean-François
6
2015
Percentile queries in multi-dimensional Markov decision processes. Zbl 1381.68219
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
5
2015
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
5
2015
Quantitative languages defined by functional automata. Zbl 1448.68263
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
4
2015
Pareto curves of multidimensional mean-payoff games. Zbl 1382.91012
Brenguier, Romain; Raskin, Jean-François
3
2015
Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives. Zbl 1401.68117
Clemente, Lorenzo; Raskin, Jean-François
2
2015
\(\omega\)-Petri nets: algorithms and complexity. Zbl 1335.68172
Geeraerts, Gilles; Heußner, Alexander; Praveen, M.; Raskin, Jean-François
2
2015
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
11
2014
The complexity of admissibility in omega-regular games. Zbl 1401.68110
Brenguier, Romain; Raskin, Jean-François; Sassolas, Mathieu
6
2014
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. Zbl 1360.91042
Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François
6
2014
Doomsday equilibria for omega-regular games. Zbl 1428.68181
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François
5
2014
Secure equilibria in weighted games. Zbl 1401.91012
Bruyère, Véronique; Meunier, Noémie; Raskin, Jean-François
4
2014
Mean-payoff games with partial-observation (extended abstract). Zbl 1393.68106
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
4
2014
Energy and mean-payoff timed games. Zbl 1362.91003
Brenguier, Romain; Cassez, Franck; Raskin, Jean-François
2
2014
Finite-valued weighted automata. Zbl 1360.68554
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
2
2014
Multiple-environment Markov decision processes. Zbl 1360.68598
Raskin, Jean-François; Sankur, Ocan
1
2014
Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Zbl 1325.68014
Cassez, Franck (ed.); Raskin, Jean-François (ed.)
1
2014
Synthesis from LTL specifications with mean-payoff objectives. Zbl 1381.68149
Bohy, Aaron; Bruyère, Véronique; Filiot, Emmanuel; Raskin, Jean-François
10
2013
Optimal bounds for multiweighted and parametrised energy games. Zbl 1390.68399
Juhl, Line; Guldstrand Larsen, Kim; Raskin, Jean-François
5
2013
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
\(\omega \)-Petri nets. Zbl 1381.68202
Geeraerts, Gilles; Heussner, Alexander; Praveen, M.; Raskin, Jean-François
3
2013
Quantitative languages defined by functional automata. Zbl 1364.68250
Filiot, Emmanuel; Gentilini, Raffaella; Raskin, Jean-François
4
2012
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
3
2012
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
28
2011
Antichains and compositional algorithms for LTL synthesis. Zbl 1258.03046
Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François
12
2011
Games with imperfect information: theory and algorithms. Zbl 1229.91080
Doyen, Laurent; Raskin, Jean-François
4
2011
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Event clock automata: from theory to practice. Zbl 1348.68102
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
2
2011
Antichain-based QBF solving. Zbl 1348.68224
Brihaye, Thomas; Bruyère, Véronique; Doyen, Laurent; Ducobu, Marc; Raskin, Jean-Francois
1
2011
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
23
2010
Antichain algorithms for finite automata. Zbl 1284.68348
Doyen, Laurent; Raskin, Jean-François
12
2010
Energy and mean-payoff games with imperfect information. Zbl 1287.91028
Degorre, Aldric; Doyen, Laurent; Gentilini, Raffaella; Raskin, Jean-François; Toruńczyk, Szymon
8
2010
Compositional algorithms for LTL synthesis. Zbl 1305.68118
Filiot, Emmanuel; Jin, Nayiong; Raskin, Jean-François
5
2010
Properties of visibly pushdown transducers. Zbl 1287.68095
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc
5
2010
Safraless procedures for timed specifications. Zbl 1290.68070
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
4
2010
Iterated regret minimization in game graphs. Zbl 1287.91029
Filiot, Emmanuel; Le Gall, Tristan; Raskin, Jean-François
1
2010
An antichain algorithm for LTL realizability. Zbl 1242.68158
Filiot, Emmanuel; Jin, Naiyong; Raskin, Jean-François
14
2009
Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058
Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain
8
2009
Antichains for the automata-based approach to model-checking. Zbl 1164.68021
Doyen, Laurent; Raskin, Jean-François
6
2009
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
3
2009
Robust safety of timed automata. Zbl 1165.68392
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
12
2008
Antichains: Alternative algorithms for LTL satisfiability and model-checking. Zbl 1134.68404
De Wulf, M.; Doyen, L.; Maquet, N.; Raskin, J.-F.
11
2008
Equivalence of labeled Markov chains. Zbl 1155.68035
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
10
2008
Visibly pushdown transducers. Zbl 1155.68420
Raskin, Jean-François; Servais, Frédéric
5
2008
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1154.68087
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
3
2008
Durations and parametric model-checking in timed automata. Zbl 1367.68183
Bruyère, Véronique; Dall’Olio, Emmanuel; Raskin, Jean-François
1
2008
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2007
On the optimal reachability problem of weighted timed automata. Zbl 1129.68039
Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
13
2007
Improved algorithms for the automata-based approach to model-checking. Zbl 1186.68285
Doyen, Laurent; Raskin, Jean-François
7
2007
Timed control with observation based and stuttering invariant strategies. Zbl 1141.68428
Cassez, Franck; David, Alexandre; Larsen, Kim G.; Lime, Didier; Raskin, Jean-François
6
2007
Minimum-time reachability in timed games. Zbl 1171.68526
Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François
6
2007
Real-time model-checking: parameters everywhere. Zbl 1128.68052
Bruyère, Véronique; Raskin, Jean-François
6
2007
Fixpoint-guided abstraction refinements. Zbl 1211.68083
Cousot, Patrick; Ganty, Pierre; Raskin, Jean-François
5
2007
Well-structured languages. Zbl 1119.68105
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
5
2007
On the efficient computation of the minimal coverability set for Petri nets. Zbl 1141.68507
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2007
From many places to few: automatic abstraction refinement for Petri nets. Zbl 1226.68054
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
1
2007
Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F.
30
2006
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
2006
Expand, enlarge and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68084
Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
12
2006
On model-checking timed automata with stopwatch observers. Zbl 1094.68055
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
8
2006
A lattice theory for solving games of imperfect information. Zbl 1178.93072
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
7
2006
A complete abstract interpretation framework for coverability properties of WSTS. Zbl 1176.68119
Ganty, Pierre; Raskin, Jean-François; Van Begin, Laurent
7
2006
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1092.68066
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; van Begin, L.
3
2006
Model checking restricted sets of timed paths. Zbl 1097.68076
Markey, Nicolas; Raskin, Jean-François
1
2006
Almost ASAP semantics: from timed models to timed implementations. Zbl 1101.68670
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
15
2005
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
13
2005
On optimal timed strategies. Zbl 1175.68241
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
10
2005
Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
9
2005
Games for counting abstractions. Zbl 1272.91014
Raskin, J.-F.; Samuelides, M.; Van Begin, L.
4
2005
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1272.68302
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
2
2005
Expand, enlarge and check …made efficient. Zbl 1081.68619
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2005
Systematic implementation of real-time models. Zbl 1120.68413
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
1
2005
Model-checking for weighted timed automata. Zbl 1109.68512
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
13
2004
Petri nets with non-blocking arcs are difficult to analyze. Zbl 1271.68194
Raskin, Jean-François; Van Begin, Laurent
2
2004
Almost ASAP semantics: from timed models to timed implementations. Zbl 1135.93345
Wulf, Martin De; Doyen, Laurent; Raskin, Jean-François
2
2004
Expand, enlarge, and check: new algorithms for the coverability problem of WSTS. Zbl 1105.68353
Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
2
2004
Model checking restricted sets of timed paths. Zbl 1097.68578
Markey, Nicolas; Raskin, Jean-François
1
2004
Robustness and implementability of timed automata. Zbl 1109.68504
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
1
2004
Monotonic extensions of Petri nets: forward and backward search revisited. Zbl 1270.68214
Finkel, A.; Raskin, J.-F.; Samuelides, M.; van Begin, L.
6
2003
Durations, parametric model-checking in timed automata with Presburger arithmetic. Zbl 1035.68063
Bruyère, Véronique; Dall’Olio, Emmanuel; Raskin, Jean-François
6
2003
...and 12 more Documents
all top 5

Cited by 596 Authors

37 Raskin, Jean-François
27 Chatterjee, Krishnendu
18 Henzinger, Thomas A.
17 Bouyer, Patricia
17 Larsen, Kim Guldstrand
16 Markey, Nicolas
13 Doyen, Laurent
10 Geeraerts, Gilles
9 Brihaye, Thomas
9 Finkel, Alain
9 Vardi, Moshe Y.
8 Bruyère, Véronique
8 Filiot, Emmanuel
8 Kupferman, Orna
8 Reynier, Pierre-Alain
7 Demri, Stéphane P.
7 Randour, Mickael
7 Van Begin, Laurent
6 Abdulla, Parosh Aziz
6 Baier, Christel
6 Sankur, Ocan
5 Holík, Lukáš
5 Majumdar, Rupak
5 Pauly, Arno M.
5 Schmitz, Sylvain
5 Schnoebelen, Philippe
4 Avni, Guy
4 Bertrand, Nathalie
4 Chmelík, Martin
4 Comin, Carlo
4 Fahrenberg, Uli
4 Fogarty, Seth J.
4 Goeminne, Aline
4 Goubault-Larrecq, Jean
4 Héam, Pierre-Cyrille
4 Jobstmann, Barbara
4 Kiefer, Stefan
4 Klüppelholz, Sascha
4 Kwiatkowska, Marta Z.
4 Legay, Axel
4 Leroux, Stéphane
4 Mayr, Richard M.
4 Ouaknine, Joel O.
4 Pérez, Guillermo A.
4 Quaas, Karin
4 Rabinovich, Alexander
4 Rizzi, Romeo
4 Servais, Frédéric
4 Vojnar, Tomáš
3 André, Étienne
3 Basset, Nicolas
3 Bérard, Béatrice
3 Bloem, Roderick
3 Blondin, Michael
3 Ehlers, Rüdiger
3 Haddad, Serge
3 Hirshfeld, Yoram
3 Hunter, Paul
3 Katoen, Joost-Pieter
3 Klein, Joachim
3 Lafortune, Stéphane
3 Lime, Didier
3 Mogavero, Fabio
3 Norman, Gethin
3 Otop, Jan
3 Perelli, Giuseppe
3 Prabhakar, Pavithra
3 Rauch Henzinger, Monika
3 Rosa-Velardo, Fernando
3 Schuppan, Viktor
3 Sickert, Salomon
3 Sproston, Jeremy
3 Srba, Jiří
3 Sznajder, Nathalie
3 van de Pol, Jan Cornelis
3 Velner, Yaron
3 Viswanathan, Mahesh
3 Wąsowski, Andrzej
3 Worrell, James B.
3 Zhang, Lijun
3 Zimmermann, Martín G.
2 Alur, Rajeev
2 Asarin, Eugene
2 Atig, Mohamed Faouzi
2 Benerecetti, Massimo
2 Berwanger, Dietmar
2 Bonchi, Filippo
2 Bournez, Olivier
2 Bozzelli, Laura
2 Brázdil, Tomáš
2 Brenguier, Romain
2 Buchholz, Peter
2 Bulychev, Peter E.
2 Cassez, Franck
2 Černý, Pavol
2 Chadha, Rohit
2 Chambart, Pierre
2 Chevalier, Fabrice
2 Clemente, Lorenzo
2 David, Alexandre
...and 496 more Authors
all top 5

Cited in 47 Serials

45 Information and Computation
34 Theoretical Computer Science
25 Formal Methods in System Design
22 Acta Informatica
16 Journal of Computer and System Sciences
11 Logical Methods in Computer Science
9 Information Processing Letters
8 Discrete Event Dynamic Systems
7 Formal Aspects of Computing
6 Journal of Logical and Algebraic Methods in Programming
5 Real-Time Systems
5 ACM Transactions on Computational Logic
4 Theory of Computing Systems
4 Nonlinear Analysis. Hybrid Systems
3 Automatica
3 Science of Computer Programming
3 Journal of Automated Reasoning
3 MSCS. Mathematical Structures in Computer Science
3 International Journal of Foundations of Computer Science
3 Distributed Computing
3 The Journal of Logic and Algebraic Programming
2 Artificial Intelligence
2 International Journal of Control
2 Information Sciences
2 Algorithmica
2 Asia-Pacific Journal of Operational Research
2 Journal of Logic, Language and Information
2 Constraints
2 Computer Languages, Systems & Structures
2 Algorithms
2 Computer Science Review
1 Fuzzy Sets and Systems
1 Journal of Optimization Theory and Applications
1 SIAM Journal on Computing
1 Annals of Pure and Applied Logic
1 Pattern Recognition
1 Annals of Mathematics and Artificial Intelligence
1 Mathematical Problems in Engineering
1 Mathematical Methods of Operations Research
1 Journal of the ACM
1 Discrete Dynamics in Nature and Society
1 Fundamenta Informaticae
1 International Game Theory Review
1 Theory and Practice of Logic Programming
1 Sādhanā
1 Natural Computing
1 Games

Citations by Year