×

zbMATH — the first resource for mathematics

Sassolas, Mathieu

Compute Distance To:
Author ID: sassolas.mathieu Recent zbMATH articles by "Sassolas, Mathieu"
Published as: Sassolas, M.; Sassolas, Mathieu
Documents Indexed: 10 Publications since 2011

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 23 times in 19 Documents Cited by Year
Quantifying opacity. Zbl 1361.68117
Bérard, Béatrice; Mullins, John; Sassolas, Mathieu
7
2015
The complexity of admissibility in omega-regular games. Zbl 1401.68110
Brenguier, Romain; Raskin, Jean-François; Sassolas, Mathieu
6
2014
Non-zero sum games for reactive synthesis. Zbl 1435.68147
Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul; Pérez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
4
2016
Interrupt timed automata: verification and expressiveness. Zbl 1247.68124
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu
3
2012
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie
2
2012
Polynomial interrupt timed automata. Zbl 06798763
Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu
1
2015
Non-zero sum games for reactive synthesis. Zbl 1435.68147
Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul; Pérez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
4
2016
Quantifying opacity. Zbl 1361.68117
Bérard, Béatrice; Mullins, John; Sassolas, Mathieu
7
2015
Polynomial interrupt timed automata. Zbl 06798763
Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu
1
2015
The complexity of admissibility in omega-regular games. Zbl 1401.68110
Brenguier, Romain; Raskin, Jean-François; Sassolas, Mathieu
6
2014
Interrupt timed automata: verification and expressiveness. Zbl 1247.68124
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu
3
2012
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie
2
2012

Citations by Year