Stéphanie Roussel 0001, Xavier Pucel, Valentin Bouziat, Louise Travé-Massuyès. Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 1884-1890, ijcai.org, 2020. [doi]
@inproceedings{0001PBT20, title = {Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems}, author = {Stéphanie Roussel 0001 and Xavier Pucel and Valentin Bouziat and Louise Travé-Massuyès}, year = {2020}, doi = {10.24963/ijcai.2020/261}, url = {https://doi.org/10.24963/ijcai.2020/261}, researchr = {https://researchr.org/publication/0001PBT20}, cites = {0}, citedby = {0}, pages = {1884-1890}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]}, editor = {Christian Bessiere}, publisher = {ijcai.org}, }