( en | de | ru )

 

Disambiguation of "Randour, Mickael"

Author of the publication

copydeleteadd this publication to your clipboard
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract).

, , , and . IJCAI, page 6420-6425. ijcai.org, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mickaël Virlouvet

Mickaël Ribardière

Mickaël Buchet

Mickaël Salaün

Mickaël Royer

 

Other publications of authors with the same name

Half-Positional Objectives Recognized by Deterministic Büchi Automata., , , and . CONCUR, volume 243 of LIPIcs, page 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Looking at Mean-Payoff and Total-Payoff through Windows., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 118-132. Springer, (2013)Life is Random, Time is Not: Markov Decision Processes with Window Objectives., , , and . Log. Methods Comput. Sci., (2020)Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)., , , and . IJCAI, page 6420-6425. ijcai.org, (2023)Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes., , and . ICALP, volume 80 of LIPIcs, page 121:1-121:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Strategy Synthesis for Multi-Dimensional Quantitative Objectives., , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 115-131. Springer, (2012)Energy Mean-Payoff Games., , , and . CONCUR, volume 140 of LIPIcs, page 21:1-21:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs., , and . STACS, volume 219 of LIPIcs, page 16:1-16:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives., , and . CONCUR, volume 203 of LIPIcs, page 25:1-25:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk)., , and . FSTTCS, volume 250 of LIPIcs, page 3:1-3:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)