×

zbMATH — the first resource for mathematics

Randour, Mickael

Compute Distance To:
Author ID: randour.mickael Recent zbMATH articles by "Randour, Mickael"
Published as: Randour, Mickael
Documents Indexed: 15 Publications since 2012

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 59 times in 30 Documents Cited by Year
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
11
2014
Variations on the stochastic shortest path problem. Zbl 1432.90155
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
8
2015
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
6
2018
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
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
Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
4
2017
Bounding average-energy games. Zbl 1392.68115
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin
3
2017
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; 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
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
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
2
2016
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
1
2017
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
6
2018
Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
4
2017
Bounding average-energy games. Zbl 1392.68115
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin
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
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
2
2016
Variations on the stochastic shortest path problem. Zbl 1432.90155
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
8
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
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
11
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
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; 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

Citations by Year