Author of the publication

Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.

, , and . MFCS, volume 272 of LIPIcs, page 26:1-26:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

 

Other publications of authors with the same name

The Impatient May Use Limited Optimism to Minimize Regret., , and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 133-149. Springer, (2019)Consensus Game Acceptors., and . DLT, volume 9168 of Lecture Notes in Computer Science, page 108-119. Springer, (2015)Hierarchical information and the synthesis of distributed strategies., , and . Acta Inf., 55 (8): 669-701 (2018)The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games., , , , and . CONCUR, volume 140 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games., , , , and . Log. Methods Comput. Sci., (2020)Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games., , and . MFCS, volume 272 of LIPIcs, page 26:1-26:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Games with Delays - A Frankenstein Approach., and . FSTTCS, volume 45 of LIPIcs, page 307-319. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Hierarchical Information Patterns and Distributed Strategy Synthesis., , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 378-393. Springer, (2015)On the Complexity of SPEs in Parity Games., , and . CoRR, (2021)Bounds for Synchronizing Markov Decision Processes., and . CSR, volume 13296 of Lecture Notes in Computer Science, page 133-151. Springer, (2022)