Publication:3384895
From MaRDI portal
Patricia Bouyer, Nicolas Markey, Mickael Randour, Mauricio Gonzalez
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.03107
91A80: Applications of game theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)