Pucel, Xavier

1 publications

IJCAI 2020 Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems Stéphanie Roussel, Xavier Pucel, Valentin Bouziat, Louise Travé-Massuyès