Found 15 Documents (Results 1–15)
The complexity of SPEs in mean-payoff games. (English) Zbl 07870326
Bojańczyk, Mikołaj (ed.) et al., 49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 229, Article 116, 20 p. (2022).
Subgame-perfect equilibria in mean-payoff games. (English) Zbl 07730610
Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 8, 17 p. (2021).
MSC:
68Q85
Energy mean-payoff games. (English) Zbl 07649929
Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 21, 17 p. (2019).
MSC:
68Q85
Stability in graphs and games. (English) Zbl 1392.68213
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 10, 14 p. (2016).
Quantitative interprocedural analysis. (English) Zbl 1345.68098
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 539-551 (2015).
MSC:
68N30
Secure equilibria in weighted games. (English) Zbl 1401.91012
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 26, 10 p. (2014).
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. (English) Zbl 1360.91042
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 199-213 (2014).
Mean-payoff pushdown games. (English) Zbl 1361.68137
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 195-204 (2012).
Discounting and averaging in games across time scales. (English) Zbl 1253.91032
Reviewer: Giacomo Bonanno (Davis)
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (8)
all
top 5
Author
- Raskin, Jean-François (8)
- Chatterjee, Krishnendu (7)
- Velner, Yaron (4)
- Brice, Léonard (3)
- Bruyère, Véronique (3)
- Randour, Mickael (3)
- Doyen, Laurent (2)
- van Den, Bogaard Marie (2)
- Brázdil, Tomáš (1)
- Brim, Luboš (1)
- Chaloupka, Jakub (1)
- Filiot, Emmanuel (1)
- Forejt, Vojtěch (1)
- Gentilini, Raffaella (1)
- Hautem, Quentin (1)
- Henzinger, Thomas A. (1)
- Kucera, Antonin (1)
- Majumdar, Rupak (1)
- Meunier, Noémie (1)
- Novotný, Petr (1)
- Pavlogiannis, Andreas (1)
- van den Bogaard, Marie (1)
all
top 5
Serial
- Inf. Process. Lett. (1)
- J. Comput. Syst. Sci. (1)
- Inf. Comput. (1)
- Int. J. Found. Comput. Sci. (1)
- Form. Methods Syst. Des. (1)
- J. ACM (1)
- Log. Methods Comput. Sci. (1)
