@inproceedings{10.1007/978-3-540-74407-8_30,
    Abstract = {We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are ``more concurrent'', in the sense that they always allow all the agents to act on the system, independently of the delay they want to elapse before their action. Timed CGSs weaken the ``element of surprise'' of timed game automata reported by de Alfaro et al. [15].},
    Address = {Berlin, Heidelberg},
    Author = {Brihaye, Thomas and Laroussinie, Fran{\c{c}}ois and Markey, Nicolas and Oreiby, Ghassan},
    BookTitle = {CONCUR 2007 -- Concurrency Theory},
    Editor = {Caires, Lu{\'\i}s and Vasconcelos, Vasco T.},
    File = {Timed Concurrent Game Structures - BLMO-concur07 - a - a - x.pdf},
    ISBN = {978-3-540-74407-8},
    Pages = {445--459},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Timed Concurrent Game Structures},
    Year = {2007},
    date-added = {2020-05-07 09:43:33 +0200},
    date-modified = {2020-05-07 09:43:33 +0200},
    file-2 = {Timed Concurrent Game Structures - tr - BLMO-concur07 - a - a - x.pdf},
    doi = {10.1007/978-3-540-74407-8_30}
}

@inproceedings{10.1007/978-3-540-74407-8_30, Abstract = {We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are more concurrent'', in the sense that they always allow all the agents to act on the system, independently of the delay they want to elapse before their action. Timed CGSs weaken theelement of surprise'' of timed game automata reported by de Alfaro et al. [15].}, Address = {Berlin, Heidelberg}, Author = {Brihaye, Thomas and Laroussinie, Fran{\c{c}}ois and Markey, Nicolas and Oreiby, Ghassan}, BookTitle = {CONCUR 2007 -- Concurrency Theory}, Editor = {Caires, Lu{\'\i}s and Vasconcelos, Vasco T.}, File = {Timed Concurrent Game Structures - BLMO-concur07 - a - a - x.pdf}, ISBN = {978-3-540-74407-8}, Pages = {445--459}, Publisher = {Springer Berlin Heidelberg}, Title = {Timed Concurrent Game Structures}, Year = {2007}, date-added = {2020-05-07 09:43:33 +0200}, date-modified = {2020-05-07 09:43:33 +0200}, file-2 = {Timed Concurrent Game Structures - tr - BLMO-concur07 - a - a - x.pdf}, doi = {10.1007/978-3-540-74407-8_30} }