Publication:3384880
From MaRDI portal
Leander Tentrup, Jesko Hecking-Harbusch
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1604.06752
91A80: Applications of game theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)