Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningāwithout human interventionā...
GĀØodelās completeness theorem is concerned with provability, while Girardās theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
Much recent research has focused on the applications of games with Ļ-regular objectives in the control and veriļ¬cation of reactive systems. However, many of the game-based model...
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are ļ¬nite states games in which, at each round, the two players...
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically ļ¬rst translated into other, non-s...
Xin Li, Jan Lukoschus, Marian Boldt, Michael Harde...