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

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)Subgame-perfect Equilibria in Mean-payoff Games (journal version)., , and . CoRR, (2022)Subgame-perfect Equilibria in Mean-payoff Games (journal version)., , and . Log. Methods Comput. Sci., (2023)Rational verification and checking for Nash and subgame-perfect equilibria in graph games., , and . CoRR, (2023)The Complexity of SPEs in Mean-Payoff Games., , and . ICALP, volume 229 of LIPIcs, page 116:1-116:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On the Complexity of SPEs in Parity Games., , and . CSL, volume 216 of LIPIcs, page 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)On the Complexity of SPEs in Parity Games., , and . CoRR, (2021)Subgame-Perfect Equilibria in Mean-Payoff Games., , and . CONCUR, volume 203 of LIPIcs, page 8:1-8:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)