Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems.

Stphanie Roussel, Xavier Pucel, Valentin Bouziat, Louise Trav-Massuys

Browse the full IJCAI paper archive.