- Expectation vs. Reality: Towards Verification of Psychological Games Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos Mon 25 November 2024
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Thu 07 November 2024
- Phase-Bounded Broadcast Networks over Topologies of Communication Lucie Guillou Arnaud Sangnier Nathalie Sznajder Thu 27 June 2024
- Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version) Julian Gutierrez Anthony W. Lin Muhammad Najib Thomas Steeples Michael Wooldridge Tue 28 November 2023
- Principal-Agent Boolean Games David Hyland Julian Gutierrez Michael Wooldridge Wed 24 May 2023
- Cooperative Concurrent Games Julian Gutierrez Szymon Kowara Sarit Kraus Thomas Steeples Michael Wooldridge Fri 20 January 2023
- On the Complexity of Rational Verification Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Sat 16 July 2022
- Decentralized Observation of Discrete-Event Systems: At Least One Can Tell Stavros Tripakis Karen Rudie Mon 16 August 2021
- Rational Verification for Probabilistic Systems Julian Gutierrez Lewis Hammond Anthony Lin Muhammad Najib Michael Wooldridge Tue 27 July 2021
- SAT-Based ATL Satisfiability Checking Magdalena Kacprzak Artur Niewiadomski Wojciech Penczek Wed 12 February 2020
- Don't cry to be the first Symmetric fair division algorithms exist Guillaume Chèze Fri 18 October 2019
- Succinct Population Protocols for Presburger Arithmetic Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax Fri 11 October 2019
Library Size: 13G (12 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
