Timed Concurrent Game Structures

Conference object English OPEN
Brihaye , Thomas; Laroussinie , François; Markey , Nicolas; Oreiby , Ghassan;

International audience; We propose a new model for timed games, based on concurrent game structures~(CGSs). Compared to the classical \emphtimed game automata of~Asarin \emphet~al., our timed~CGSs are "more concurrent", in the sense that they always allow all the agents... View more
Share - Bookmark