- Energy Games with Resource-Bounded Environments Orna Kupferman Naama Shamash Halevy Fri 24 November 2023
- Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives Krishnendu Chatterjee Laurent Doyen Fri 24 January 2014
- Reachability Games on Extended Vector Addition Systems with States Tomáš Brázdil Petr Jančar Antonín Kučera Mon 13 January 2014
- Resource Interfaces Arindam Chakrabarti Luca Alfaro Thomas A. Henzinger Marielle Stoelinga Mon 13 January 2014
- Energy and Mean-Payoff Games with Imperfect Information Aldric Degorre Laurent Doyen Raffaella Gentilini Jean-François Raskin Szymon Toruńczyk Tue 13 March 2012
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
