PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games
Abstract elided by the publisher.
Related papers
- Correlated Equilibria and Fairness in Concurrent Stochastic Games TACAS 2022
- Abstract Interpretation of Supermodular Games SAS 2016
- Specification-Guided Learning of Nash Equilibria with High Social Welfare CAV 2022
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- Most General Winning Secure Equilibria Synthesis in Graph Games TACAS 2024
- Doomsday Equilibria for Omega-Regular Games VMCAI 2014
- Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees ESOP 2018