Publication:3384875
From MaRDI portal
Véronique Bruyère, Jean-François Raskin, Thomas Brihaye, Aline Goeminne
Publication date: 17 December 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.2
91A80: Applications of game theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)