Login / Signup

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

Stéphanie RousselXavier PucelValentin BouziatLouise Travé-Massuyès
Published in: IJCAI (2020)
Keyphrases