Nathanaël Fijalkow

Assistant Professor, CNRS, LaBRI

Joined

March 2019

Names

Nathanaël Fijalkow (Preferred)

Emails

****@gmail.com (Confirmed)

****@labri.fr (Confirmed)

****@turing.ac.uk (Confirmed)

Personal Links

Career & Education History

Assistant Professor

CNRS, LaBRI (labri.fr)

2018 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

LTL Learning on GPUs
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
- CAV (3) 2024
- Readers: Everyone
Playing Safe, Ten Years Later
Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
- Log. Methods Comput. Sci. 2024
- Readers: Everyone
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
- J. Open Source Softw. 2024
- Readers: Everyone
LTL learning on GPUs
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
- CoRR 2024
- Readers: Everyone
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
- VMCAI (2) 2024
- Readers: Everyone
Theoretical foundations for programmatic reinforcement learning
Guruprerana Shabadi, Nathanaël Fijalkow, Théo Matricon
- CoRR 2024
- Readers: Everyone
WikiCoder: Learning to Write Knowledge-Powered Code
Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte
- SPIN 2023
- Readers: Everyone
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen
- CoRR 2023
- Readers: Everyone
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
- Dagstuhl Reports 2023
- Readers: Everyone
Learning temporal formulas from examples is hard
Corto Mascle, Nathanaël Fijalkow, Guillaume Lagarde
- CoRR 2023
- Readers: Everyone

View all 113 publications

Co-Authors

View all 92 co-authors