Mathieu Sassolas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2016
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | LATA | Non-Zero Sum Games for Reactive Synthesis. | Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Prez, Mickael Randour, Jean-Franois Raskin, Ocan Sankur, Mathieu Sassolas |
| 2014 | CSL | The complexity of admissibility in Omega-regular games. | Romain Brenguier, Jean-Franois Raskin, Mathieu Sassolas |
| 2012 | CONCUR | Concurrent Games on VASS with Inhibition. | Batrice Brard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder |
| 2010 | TIME | Real Time Properties for Interrupt Timed Automata. | Batrice Brard, Serge Haddad, Mathieu Sassolas |