Edit Profile Randour, Mickael Compute Distance To: Compute Author ID: randour.mickael Published as: Randour, Mickael Documents Indexed: 15 Publications since 2012 all top 5 Co-Authors 0 single-authored 11 Raskin, Jean-François 4 Chatterjee, Krishnendu 4 Sankur, Ocan 3 Bouyer, Patricia 3 Markey, Nicolas 2 Bruyère, Véronique 2 Doyen, Laurent 2 Filiot, Emmanuel 1 Berthon, Raphaël 1 Brenguier, Romain 1 Brihaye, Thomas 1 Clemente, Lorenzo 1 Delgrange, Florent 1 Hofman, Piotr 1 Hunter, Paul 1 Larsen, Kim Guldstrand 1 Laursen, Simon 1 Oualhadj, Youssouf 1 Pérez, Guillermo A. 1 Sangnier, Arnaud 1 Sassolas, Mathieu 1 Stan, Daniel 1 Zimmermann, Martín G. Serials 2 Acta Informatica 2 Information and Computation 1 Formal Methods in System Design 1 Logical Methods in Computer Science Fields 12 Computer science (68-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications 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.68208Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 11 2014 Variations on the stochastic shortest path problem. Zbl 1432.90155Randour, Mickael; Raskin, Jean-François; Sankur, Ocan 8 2015 Average-energy games. Zbl 1390.68115Bouyer, 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.91042Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François 6 2014 Percentile queries in multi-dimensional Markov decision processes. Zbl 1381.68219Randour, Mickael; Raskin, Jean-François; Sankur, Ocan 5 2015 Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 5 2015 Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518Randour, Mickael; Raskin, Jean-François; Sankur, Ocan 4 2017 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 3 2017 Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 3 2013 Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 3 2012 Threshold constraints with guarantees for parity objectives in Markov decision processes. Zbl 1442.90199Berthon, Raphaël; Randour, Mickael; Raskin, Jean-François 2 2017 Non-zero sum games for reactive synthesis. Zbl 1435.68147Brenguier, 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.91022Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François 1 2017 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 6 2018 Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518Randour, Mickael; Raskin, Jean-François; Sankur, Ocan 4 2017 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 3 2017 Threshold constraints with guarantees for parity objectives in Markov decision processes. Zbl 1442.90199Berthon, Raphaël; Randour, Mickael; Raskin, Jean-François 2 2017 Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. Zbl 1371.91022Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François 1 2017 Non-zero sum games for reactive synthesis. Zbl 1435.68147Brenguier, 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.90155Randour, Mickael; Raskin, Jean-François; Sankur, Ocan 8 2015 Percentile queries in multi-dimensional Markov decision processes. Zbl 1381.68219Randour, Mickael; Raskin, Jean-François; Sankur, Ocan 5 2015 Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 5 2015 Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 11 2014 Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. Zbl 1360.91042Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François 6 2014 Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François 3 2013 Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1364.68278Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 3 2012 all cited Publications top 5 cited Publications all top 5 Cited by 72 Authors 7 Randour, Mickael 7 Raskin, Jean-François 6 Chatterjee, Krishnendu 4 Henzinger, Thomas A. 4 Otop, Jan 2 Bouyer, Patricia 2 Bruyère, Véronique 2 Doyen, Laurent 2 Katoen, Joost-Pieter 2 Larsen, Kim Guldstrand 2 Markey, Nicolas 2 Michaliszyn, Jakub 2 Potapov, Igor 1 Ashkenazi-Golan, Galit 1 Avni, Guy 1 Basset, Nicolas 1 Bloem, Roderick 1 Bošnački, Dragan 1 Bournez, Olivier 1 Brihaye, Thomas 1 Chonev, Ventsislav 1 Delgrange, Florent 1 Dimitrova, Rayna 1 Esmaeil Zadeh Soudjani, Sadegh 1 Figueira, Diego 1 Filiot, Emmanuel 1 Flesch, Janos 1 Gavran, Ivan 1 Haase, Christoph 1 Hagihara, Shigeki 1 Hartmanns, Arnd 1 Hofman, Piotr 1 Hunter, Paul 1 Jensen, Lasse S. 1 Jobstmann, Barbara 1 Junges, Sebastian 1 Jurdziński, Marcin 1 Kaufmann, Isabella 1 Kiefer, Stefan 1 Kozyakin, Viktor Sergeevich 1 Kurganskyy, Oleksiy 1 Kwiatkowska, Marta Z. 1 Laursen, Simon 1 Lazić, Ranko 1 Leroux, Stéphane 1 Majumdar, Anirban 1 Majumdar, Rupak 1 Mohammadi, Abumoslem 1 Nielsen, Søren M. 1 Niskanen, Reino 1 Oualhadj, Youssouf 1 Pauly, Arno M. 1 Pérez, Guillermo A. 1 Prabhu, Vinayak S. 1 Praveen, M. 1 Predtetchinski, Arkadi 1 Quatmann, Tim 1 Rabinovich, Alexander 1 Reichert, Julien 1 Sankur, Ocan 1 Schmitz, Sylvain 1 Shimakawa, Masaya 1 Solan, Eilon 1 Srba, Jiří 1 Tayyebi, Javad 1 Tomita, Takashi 1 Ueno, Atsushi 1 Velner, Yaron 1 Wijs, Anton J. 1 Wiltsche, Clemens 1 Yonezaki, Naoki 1 Zimmermann, Martín G. all top 5 Cited in 11 Serials 4 Acta Informatica 4 Information and Computation 3 Logical Methods in Computer Science 2 Journal of Computer and System Sciences 2 Formal Methods in System Design 1 Journal of Optimization Theory and Applications 1 Journal of Automated Reasoning 1 Asia-Pacific Journal of Operational Research 1 International Journal of Foundations of Computer Science 1 Discrete Dynamics in Nature and Society 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 25 Computer science (68-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 2 Combinatorics (05-XX) 2 Probability theory and stochastic processes (60-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Systems theory; control (93-XX) Citations by Year