- Solving Qualitative Multi-Objective Stochastic Games Moritz Graf Anthony Lin Rupak Majumdar Wed 18 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
- Games with ømega-Automatic Preference Relations Véronique Bruyère Christophe Grandmont Jean-François Raskin Thu 13 March 2025
- Diagrammatic Semantics for Digital Circuits Dan R. Ghica Achim Jung Aliaume Lopez Fri 02 March 2012
- Parity Games: Another View on Lehtinen's Algorithm Paweł Parys Fri 02 March 2012
- Deductive Verification of Continuous Dynamical Systems Ankur Taly Ashish Tiwari Fri 02 March 2012
- Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length: The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations Olivier Bournez Daniel S. Graça Amaury Pouly Fri 02 March 2012
- When is Containment Decidable for Probabilistic Automata Laure Daviaud Marcin Jurdzinski Ranko Lazic Filip Mazowiecki Guillermo A. Pérez James Worrell Fri 02 March 2012
- On the Complexity of Branching Games with Regular Conditions Marcin Przybylko Michal Skrzypczak Fri 02 March 2012
- Pumping Lemmas for Weighted Automata Filip Mazowiecki Cristian Riveros Fri 02 March 2012
- Infinite Separation between General and Chromatic Memory Alexander Kozachinskiy Fri 02 March 2012
Library Size: 13G (16 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
