×

zbMATH — the first resource for mathematics

Sznajder, Nathalie

Compute Distance To:
Author ID: sznajder.nathalie Recent zbMATH articles by "Sznajder, Nathalie"
Published as: Sznajder, Nathalie
Documents Indexed: 13 Publications since 2006

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 27 times in 24 Documents Cited by Year
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Distributed synthesis for well-connected architectures. Zbl 1180.68056
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
6
2009
Safraless procedures for timed specifications. Zbl 1290.68070
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
4
2010
Fair synthesis for asynchronous distributed systems. Zbl 1353.68202
Gastin, Paul; Sznajder, Nathalie
3
2013
Distributed synthesis for well-connected architectures. Zbl 1177.68146
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
2
2006
Event clock automata: from theory to practice. Zbl 1348.68102
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
2
2011
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie
2
2012
Real-time synthesis is hard! Zbl 1433.68210
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin; Sznajder, Nathalie
1
2016
Real-time synthesis is hard! Zbl 1433.68210
Brihaye, Thomas; Estiévenart, Morgane; Geeraerts, Gilles; Ho, Hsi-Ming; Monmege, Benjamin; Sznajder, Nathalie
1
2016
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Fair synthesis for asynchronous distributed systems. Zbl 1353.68202
Gastin, Paul; Sznajder, Nathalie
3
2013
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie
2
2012
Event clock automata: from theory to practice. Zbl 1348.68102
Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
2
2011
Safraless procedures for timed specifications. Zbl 1290.68070
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie
4
2010
Distributed synthesis for well-connected architectures. Zbl 1180.68056
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
6
2009
Distributed synthesis for well-connected architectures. Zbl 1177.68146
Gastin, Paul; Sznajder, Nathalie; Zeitoun, Marc
2
2006

Citations by Year