Found 9 Documents (Results 1–9)
Reaching your goal optimally by playing at random with no memory. (English) Zbl 07559482
Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 26, 21 p. (2020).
MSC:
68Q85
Optimal strategies in weighted limit games. (English) Zbl 1539.68179
Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 114-130 (2020).
Parity games with weights. (English) Zbl 1509.68105
Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 36, 17 p. (2018).
A pseudo-quasi-polynomial algorithm for mean-payoff parity games. (English) Zbl 1452.91053
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 325-334 (2018).
Robust equilibria in mean-payoff games. (English) Zbl 1475.68202
Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 217-233 (2016).
Parameterized linear temporal logics meet costs: still not costlier than LTL. (English) Zbl 1476.03020
Esparza, Javier (ed.) et al., Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21–22, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 193, 144-157 (2015).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (6)
all
top 5
Author
- Zimmermann, Martin (3)
- Schewe, Sven (2)
- Bouyer, Patricia (1)
- Brenguier, Romain (1)
- Colcombet, Thomas (1)
- Daviaud, Laure (1)
- Fijalkow, Nathanaël (1)
- Gawrychowski, Paweł (1)
- Gupta, Anshul (1)
- Jurdziński, Martin (1)
- Lazić, Ranko (1)
- Leroux, Stéphane (1)
- Monmege, Benjamin (1)
- Murano, Aniello (1)
- Ohlmann, Pierre (1)
- Oualhadj, Youssouf (1)
- Parreaux, Julie (1)
- Randour, Mickael (1)
- Reynier, Pierre-Alain (1)
- Rubin, Sasha (1)
- Vandenhove, Pierre (1)
- Weinert, Alexander (1)
Serial
- Log. Methods Comput. Sci. (2)
- Games (1)