×

Found 15 Documents (Results 1–15)

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
PDFBibTeX XMLCite
Full Text: DOI arXiv

The complexity of subgame perfect equilibria in quantitative reachability games. (English) Zbl 1519.91051

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 13, 16 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives. (English) Zbl 1524.91017

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 16-29 (2018).
PDFBibTeX XMLCite
Full Text: Link

Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives. (English) Zbl 1520.68046

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 29, 16 p. (2018).
MSC:  68Q27 68Q85 91A43
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the existence of weak subgame perfect equilibria. (English) Zbl 1486.91016

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 145-161 (2017).
MSC:  91A43 68Q60 91A11
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field