bibliographer - Game Theory

Solving Qualitative Multi-Objective Stochastic Games Moritz Graf Anthony Lin Rupak Majumdar Wed 18 February 2026
The Determinacy of Context-Free Games Olivier Finkel Thu 12 February 2026
A General Theory of Proportionality with Additive Utilities Piotr Skowron Thu 12 February 2026
An Automata-Based Approach to Games with -Automatic Preferences Véronique Bruyère Emmanuel Filiot Christophe Grandmont Jean-François Raskin Thu 12 February 2026
Robust Verification of Concurrent Stochastic Games Angel Y. He David Parker Thu 22 January 2026
The value of random zero-sum games Romain Cosson Laurent Massoulié Sun 18 January 2026
The Complexity of Games with Randomised Control Sarvin Bahmani Rasmus Ibsen-Jensen Soumyajit Paul Sven Schewe Friedrich Slivovsky Qiyi Tang Dominik Wojtczak Shufang Zhu Sun 18 January 2026
Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems Senthil Rajasekaran Moshe Y. Vardi Sat 05 April 2025
Sink equilibria and the attractors of learning in games Oliver Biggar Christos Papadimitriou Fri 14 February 2025
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
The Complexity of Symmetric Bimatrix Games with Common Payoffs Abheek Ghosh Alexandros Hollender Sat 12 October 2024
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives Raphael Berthon Joost-Pieter Katoen Tobias Winkler Wed 14 August 2024
Faster and Smaller Solutions of Obliging Games Daniel Hausmann Nir Piterman Wed 24 July 2024
Reachability and Safety Games under TSO Semantics (Extended Version) Stephan Spengler Mon 01 July 2024
The Power of Counting Steps in Quantitative Games Sougata Bose Rasmus Ibsen-Jensen David Purser Patrick Totzke Pierre Vandenhove Thu 27 June 2024
Expectation in Stochastic Window Mean-Payoff Games Laurent Doyen Pranshu Gaba Shibashis Guha Thu 30 May 2024
Bounded-Memory Strategies in Partial-Information Games Sougata Bose Rasmus Ibsen-Jensen Patrick Totzke Fri 17 May 2024
Controller Synthesis in Timed Buchi Automata: Robustness and Punctual Guards Benoît Barbot Damien Busatto-Gaston Catalin Dima Youssouf Oualhadj Tue 07 May 2024
Strategy Complexity of Buchi Objectives in Concurrent Stochastic Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 30 April 2024
Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs Mohan Dantam Richard Mayr Wed 24 April 2024
Regular Games with Imperfect Information Are Not That Regular Laurent Doyen Thomas Soullard Sat 06 April 2024
Application of Nash equilibrium for developing an optimal forest harvesting strategy in Toruń Forest District Jan Kotlarz Tue 26 March 2024
Synthesis of Robust Optimal Strategies in Weighted Timed Games Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Sun 24 March 2024
Half-positional ømega-regular languages Antonio Casares Pierre Ohlmann Thu 01 February 2024
Memoryless Strategies in Stochastic Reachability Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 30 January 2024
Concurrent Stochastic Lossy Channel Games Daniel Stan Muhammad Najib Anthony Widjaja Lin Parosh Aziz Abdulla Thu 30 November 2023
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
Two new algorithms for solving Müller games and their applications Zihui Liang Bakh Khoussainov Mingyu Xiao Fri 10 November 2023
Submixing and Shift-invariant Stochastic Games Hugo Gimbert Edon Kelmendi Sun 05 November 2023
Solving Odd-Fair Parity Games Irmak Sağlam Anne-Kathrin Schmuck Thu 26 October 2023
On the ESL algorithm for solving energy games Antonio Casares Pierre Ohlmann Mon 02 October 2023
Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete Thomas Brihaye Véronique Bruyère Gaspard Reghem Sat 26 August 2023
Multi-Weighted Reachability Games Thomas Brihaye Aline Goeminne Sat 26 August 2023
Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games Mohan Dantam Richard Mayr Thu 13 July 2023
Zero-Sum Games and Linear Programming Duality Bernhard von Stengel Thu 22 June 2023
Principal-Agent Boolean Games David Hyland Julian Gutierrez Michael Wooldridge Wed 24 May 2023
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives Damien Busatto-Gaston Debraj Chakraborty Anirban Majumdar Sayan Mukherjee Guillermo A. Pérez Jean-François Raskin Wed 24 May 2023
Contextual Equivalence for Alternation and Urgency Eren Keskin Roland Meyer Søren van der Wall Sun 07 May 2023
Positionality of mean-payoff games on infinite graphs Pierre Ohlmann Fri 05 May 2023
Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games Paweł Parys Aleksander Wiącek Fri 05 May 2023
FIXP-membership via Convex Optimization: Games, Cakes, and Markets Aris Filos-Ratsikas Kristoffer Arnsfelt Hansen Kasper Høgh Alexandros Hollender Fri 28 April 2023
On algorithmically boosting fixed-point computations Ioannis Avramopoulos Nikolaos Vasiloglou Mon 17 April 2023
Playing Stochastically in Weighted Timed Games to Emulate Memory Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Sat 08 April 2023
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Thu 30 March 2023
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs Pierre Ohlmann Tue 07 February 2023
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs Patricia Bouyer Mickael Randour Pierre Vandenhove Fri 20 January 2023
Cooperative Concurrent Games Julian Gutierrez Szymon Kowara Sarit Kraus Thomas Steeples Michael Wooldridge Fri 20 January 2023
Playing Safe, Ten Years Later Thomas Colcombet Nathanael Fijalkow Florian Horn Thu 29 December 2022
Infinite Hex is a draw Joel David Hamkins Davide Leonessi Sat 24 December 2022
Energy Games over Totally Ordered Groups Alexander Kozachinskiy Tue 29 November 2022
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs Richard Mayr Eric Munday Sat 29 October 2022
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Sat 29 October 2022
Timed Games with Bounded Window Parity Objectives James C. A. Main Mickael Randour Jeremy Sproston Fri 28 October 2022
How to Play Optimally for Regular Objectives Patricia Bouyer Nathanael Fijalkow Mickael Randour Pierre Vandenhove Tue 25 October 2022
One-to-Two-Player Lifting for Mildly Growing Memory Alexander Kozachinskiy Mon 17 October 2022
Solving Infinite Games in the Baire Space Benedikt Brutsch Wolfgang Thomas Sun 09 October 2022
The Hairy Ball Problem is PPAD-Complete Paul W. Goldberg Alexandros Hollender Fri 16 September 2022
Universal Algorithms for Parity Games and Nested Fixpoints Marcin Jurdziński Rémi Morvan K. S. Thejaswini Tue 30 August 2022
One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege Tue 16 August 2022
Half-Positional Objectives Recognized by Deterministic Buchi Automata Patricia Bouyer Antonio Casares Mickael Randour Pierre Vandenhove Tue 10 May 2022
The Safe Lambda Calculus William Blum C. -H. Luke Ong Thu 31 March 2022
Stochastic Games with Synchronizing Objectives Laurent Doyen Mon 28 February 2022
One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege Thu 24 February 2022
Improved Upper Bounds for Finding Tarski Fixed Points Xi Chen Yuhao Li Thu 17 February 2022
Adding Negative Prices to Priced Timed Games Thomas Brihaye Gilles Geeraerts Shankara Narayanan Krishna Lakshmi Manasa Benjamin Monmege Ashutosh Trivedi Mon 27 September 2021
The Weihrauch degree of finding Nash equilibria in multiplayer games Tonicha Crook Arno Pauly Fri 03 September 2021
Rational Verification for Probabilistic Systems Julian Gutierrez Lewis Hammond Anthony Lin Muhammad Najib Michael Wooldridge Tue 27 July 2021
Decision algorithms for multiplayer noncooperative games of incomplete information G. Peterson J. Reif S. Azhar Mon 26 July 2021
Reachability Switching Games John Fearnley Martin Gairing Matthias Mnich Rahul Savani Fri 30 April 2021
Subgame-perfect Equilibria in Mean-payoff Games Léonard Brice Jean-François Raskin Marie Van Den Bogaard Sun 14 February 2021
Determinacy in Discrete-Bidding Infinite-Duration Games Milad Aghajohari Guy Avni Thomas A. Henzinger Sun 14 February 2021
Determinising Parity Automata Sven Schewe Thomas Varghese Mon 01 February 2021
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP Richard Mayr Sven Schewe Patrick Totzke Dominik Wojtczak Thu 21 January 2021
An Elo-like System for Massive Multiplayer Competitions Aram Ebtekar Paul Liu Wed 13 January 2021
Transience in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Tue 05 January 2021
Continuous Positional Payoffs Alexander Kozachinskiy Thu 17 December 2020
Solving Zero-Sum One-Sided Partially Observable Stochastic Games Karel Horák Branislav Bošanský Vojtěch Kovařík Christopher Kiekintveld Sun 25 October 2020
Approximating the Minimal Lookahead Needed to Win Infinite Games Martin Zimmermann Sun 25 October 2020
Completeness of Kozen's Axiomatization for the Modal mu-Calculus: A Simple Proof Kuniaki Tamura Tue 20 October 2020
Comparison of Algorithms for Simple Stochastic Games (Full Version) Jan Kretinsky Emanuel Ramneantu Alexander Slivinskiy Maximilian Weininger Mon 31 August 2020
Qualitative Multi-Objective Reachability for Ordered Branching MDPs Kousha Etessami Emanuel Martinov Mon 31 August 2020
Evolution toward a Nash equilibrium Ioannis Avramopoulos Thu 23 July 2020
One-Clock Priced Timed Games Are PSPACE-Hard John Fearnley Rasmus Ibsen-Jensen Rahul Savani Sat 04 July 2020
Fundamentals of Computing Leonid A. Levin Sat 04 July 2020
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games Thomas Brihaye Aline Goeminne Thu 25 June 2020
A survey of queueing systems with strategic timing of arrivals Moshe Haviv Liron Ravner Tue 23 June 2020
Existential Theory of the Reals Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games Kristoffer Arnsfelt Hansen Steffan Christ Sølvsten Mon 22 June 2020
Infinite-Duration All-Pay Bidding Games Guy Avni Ismael Jecker Đorđe Žikelić Fri 15 May 2020
Cumulative Games: Who is the current player Urban Larsson Reshef Meir Yair Zick Thu 14 May 2020
Games Where You Can Play Optimally with Arena-Independent Finite Memory Patricia Bouyer Stéphane Le Roux Youssouf Oualhadj Mickael Randour Pierre Vandenhove Wed 13 May 2020
Reaching Your Goal Optimally by Playing at Random Benjamin Monmege Julie Parreaux Pierre-Alain Reynier Wed 13 May 2020
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes Raphael Berthon Shibashis Guha Jean-François Raskin Thu 30 April 2020
Quantitative Reductions and Vertex-Ranked Infinite Games (Full Version) Alexander Weinert Sun 29 March 2020
The Strahler number of a parity game Laure Daviaud Marcin Jurdziński K. S. Thejaswini Sat 21 March 2020
How Good Is a Strategy in a Game With Nature Arnaud Carayol Olivier Serre Tue 03 March 2020
A Bridge between Polynomial Optimization and Games with Imperfect Recall Hugo Gimbert Soumyajit Paul B. Srivathsan Tue 03 March 2020
Complexity Theory, Game Theory, and Economics: The Barbados Lectures Tim Roughgarden Wed 12 February 2020
One-Clock Priced Timed Games are PSPACE-hard John Fearnley Rasmus Ibsen-Jensen Rahul Savani Tue 14 January 2020
Good-for-games ømega-Pushdown Automata Karoliina Lehtinen Martin Zimmermann Tue 14 January 2020
Life is Random, Time is Not: Markov Decision Processes with Window Objectives Thomas Brihaye Florent Delgrange Youssouf Oualhadj Mickael Randour Thu 12 December 2019
Expected Window Mean-Payoff Benjamin Bordais Shibashis Guha Jean-François Raskin Wed 11 December 2019
Controlling a random population Thomas Colcombet Nathanael Fijalkow Pierre Ohlmann Tue 05 November 2019
Don't cry to be the first Symmetric fair division algorithms exist Guillaume Chèze Fri 18 October 2019
Coordination Games on Weighted Directed Graphs Krzysztof R. Apt Sunil Simon Dominik Wojtczak Tue 08 October 2019
Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria Kousha Etessami Christos Papadimitriou Aviad Rubinstein Mihalis Yannakakis Tue 10 September 2019
Complexity of Computing the Shapley Value in Games with Externalities Oskar Skibski Thu 05 September 2019
Partial Solvers for Generalized Parity Games Véronique Bruyère Guillermo A. Pérez Jean-François Raskin Clément Tamines Sat 20 July 2019
Solving Mean-Payoff Games via Quasi Dominions Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero Sat 20 July 2019
Equilibria, Fixed Points, and Complexity Classes Mihalis Yannakakis Sat 13 July 2019
Parity Games with Weights Sven Schewe Alexander Weinert Martin Zimmermann Wed 19 June 2019
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games Massimo Benerecetti Daniele Dell'Erba Fabio Mogavero Sat 11 May 2019
Improving the complexity of Parys' recursive algorithm Karoliina Lehtinen Sven Schewe Dominik Wojtczak Fri 10 May 2019
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version) Thomas Brihaye Véronique Bruyère Aline Goeminne Jean-François Raskin Marie van den Bogaard Wed 08 May 2019
Two-Player Reachability-Price Games on Single-Clock Timed Automata Michal Rutkowski Fri 12 April 2019
A Faster Algorithm for Solving One-Clock Priced Timed Games Thomas Dueholm Hansen Rasmus Ibsen-Jensen Peter Bro Miltersen Thu 11 April 2019
Shortest path games Edward C. Rosenthal Tue 26 March 2019
On the Shortest Path Game Andreas Darmann Ulrich Pferschy Joachim Schauer Tue 26 March 2019
The Subset Sum game Andreas Darmann Gaia Nicosia Ulrich Pferschy Joachim Schauer Tue 26 March 2019
The complexity of mean payoff games using universal graphs Nathanael Fijalkow Paweł Gawrychowski Pierre Ohlmann Mon 18 March 2019
The Complexity of Concurrent Rational Synthesis R. Condurache Y. Oualhadj N. Troquard Thu 21 June 2018
Approximating Nash Equilibria and Dense Subgraphs via an Approximate Version of Carathbackslash'eødory's Theorem S. Barman Tue 19 June 2018
An Optimal Value Iteration Algorithm for Parity Games N. Fijalkow Tue 19 June 2018
A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games L. Daviaud M. Jurdzinski R. Lazic Wed 06 June 2018
Beyond admissibility: Dominance between chains of strategies N. Basset I. Jecker A. Pauly J.-F. Raskin M. Van den Bogaard Sat 02 June 2018
The Complexity of Computing a Nash Equilibrium Constantinos Daskalakis Paul W. Goldberg Christos H. Papadimitriou Wed 30 May 2018
Memoryless Determinacy of Finite Parity Games: Another Simple Proof Serge Haddad Wed 28 March 2018
Uber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels Ernst Zermelo Sat 17 March 2018
What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common Martín Escardó Paulo Oliva Tue 28 March 2017
The NP-completeness Column: Finding Needles in Haystacks David S. Johnson Wed 01 March 2017
Games with Secure Equilibria Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdziński Fri 06 June 2014
Defining Fairness in Reactive and Concurrent Systems Hagen Vølzer Daniele Varacca Mon 24 February 2014
Stochastic Shortest Path Games Stephen D. Patek Dimitri P. Bertsekas Mon 24 February 2014
Pushdown module checking with imperfect information Benjamin Aminof Axel Legay Aniello Murano Olivier Serre Moshe Y. Vardi Fri 25 October 2013
Generalisation and Formalisation in Game Theory Stephane Le Roux Thu 20 September 2012
From determinacy to Nash equilibrium Stéphane Le Roux Mon 10 September 2012
Banach-Mazur Games on Graphs Erich Graedel Wed 23 May 2012
Lecture Notes on Automata, Games and Verification Sven Schewe Bernd Finkbeiner Sat 03 March 2012

Library Size: 13G (138 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]