Timed Concurrent Game Structures

Conference object English OPEN
Brihaye , Thomas; Laroussinie , François; Markey , Nicolas; Oreiby , Ghassan;
  • Publisher: Springer
  • Identifiers: doi: 10.1007/978-3-540-74407-8_30
  • Subject: [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] | [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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