Nathalie Sznajder

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 18

Top Topics

Markov Decision Process

Real Time Dynamic Programming

Discounted Reward

Top Venues

Formal Methods Syst. Des.

Publications

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. CoRR (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Phase-Bounded Broadcast Networks over Topologies of Communication. CONCUR (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Petri Nets (2024)
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Round- and context-bounded control of dynamic pushdown systems. Formal Methods Syst. Des. 62 (1) (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Phase-Bounded Broadcast Networks over Topologies of Communication. CoRR (2024)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. CONCUR (2023)
Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder
Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. CoRR (2023)
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
Synthesis in presence of dynamic links. Inf. Comput. 289 (Part) (2022)
Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil
On the Encoding and Solving of Partial Information Games. NETYS (2020)
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. FoSSaCS (2020)
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods Syst. Des. 56 (1) (2020)
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
Synthesis in Presence of Dynamic Links. GandALF (2020)
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Parameterized Synthesis for Fragments of First-Order Logic over Data Words. CoRR (2019)
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Round-Bounded Control of Parameterized Systems. ATVA (2018)
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
Parameterized Verification of Algorithms for Oblivious Robots on a Ring. CoRR (2017)
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
Parameterized verification of algorithms for oblivious robots on a ring. FMCAD (2017)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
Real-Time Synthesis is Hard! FORMATS (2016)
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder
Real-Time Synthesis is Hard! CoRR (2016)
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
Probabilistic opacity for Markov decision processes. Inf. Process. Lett. 115 (1) (2015)
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. CoRR (2014)
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
On regions and zones for event-clock automata. Formal Methods Syst. Des. 45 (3) (2014)
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. SSS (2014)
Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder
Probabilistic Opacity for Markov Decision Processes. CoRR (2014)
Paul Gastin, Nathalie Sznajder
Fair Synthesis for Asynchronous Distributed Systems. ACM Trans. Comput. Log. 14 (2) (2013)
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder
Concurrent Games on VASS with Inhibition. CONCUR (2012)
Paul Gastin, Nathalie Sznajder
Decidability of well-connectedness for distributed synthesis. Inf. Process. Lett. 112 (24) (2012)
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
Event Clock Automata: From Theory to Practice. FORMATS (2011)
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
Event-Clock Automata: From Theory to Practice CoRR (2011)
Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
Safraless Procedures for Timed Specifications. FORMATS (2010)
Thomas Chatain, Paul Gastin, Nathalie Sznajder
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. SOFSEM (2009)
Paul Gastin, Nathalie Sznajder, Marc Zeitoun
Distributed synthesis for well-connected architectures. Formal Methods Syst. Des. 34 (3) (2009)
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari
Quantitative and Probabilistic Modeling in Pathway Logic. BIBE (2007)
Paul Gastin, Nathalie Sznajder, Marc Zeitoun
Distributed Synthesis for Well-Connected Architectures. FSTTCS (2006)