Nathanaël Fijalkow -

Registered user since Mon 20 Aug 2018

Name:Nathanaël Fijalkow

Affiliation:CNRS, LaBRI, and Alan Turing Institute

Personal website: http://nathanael-fijalkow.github.io/

Contributions

2024

POPL

Author of Machine Learning Meets Program Synthesis within the TutorialFest-track

VMCAI

Author of Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic within the VMCAI 2024-track
Committee Member in Program Committee within the VMCAI 2024-track

2019

FOSSACS

Committee Member in Program Committee within the FOSSACS 2019-track

GaLoP

Invited Speaker of Model checking games: the recent advances on parity games within the GaLoP-track

2018

LAFI

Author of Comparing the speed of probabilistic processes within the PPS 2018-track