Author of the publication

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.

 

Other publications of authors with the same name

Looking at Mean-Payoff and Total-Payoff through Windows., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 118-132. Springer, (2013)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)Life is Random, Time is Not: Markov Decision Processes with Window Objectives., , , and . Log. Methods Comput. Sci., (2020)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)Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)., , , and . IJCAI, page 6420-6425. ijcai.org, (2023)Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives., , , and . CONCUR, volume 140 of LIPIcs, page 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)CONCUR Test-Of-Time Award 2022 (Invited Paper)., , , , and . CONCUR, volume 243 of LIPIcs, page 1:1-1:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Arena-Independent Finite-Memory Determinacy in Stochastic Games., , , and . CONCUR, volume 203 of LIPIcs, page 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk)., , , and . FSTTCS, volume 284 of LIPIcs, page 1:1-1:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)How to Play Optimally for Regular Objectives?, , , and . ICALP, volume 261 of LIPIcs, page 118:1-118:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)