Sznajder Nathalie
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
SZNAJDER Nathalie is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
B. Bérard, K. Chatterjee, N. Sznajder : “Probabilistic Opacity for Markov Decision Processesâ€, Information Processing Letters, vol. 115 (1), pp. 52-59, (ISBN: 0020-0190) (2015)
-
B. Bérard, P. Courtieu, L. Millet, M. Potop‑Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain : “[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problemsâ€, International Journal of Informatics Society, vol. 7 (3), pp. 101-114, (Japan Informatics Society) (2015)
-
Th. Brihaye, M. Estiévenart, G. Geeraerts, H.‑M. Ho, B. Monmege, N. Sznajder : “Real-time Synthesis is Hard!â€, 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'16), vol. 9884, Lecture Notes in Computer Science, Québec City, Canada, pp. 105-120, (Springer) (2016)
