Zanella, Marina

4 publications

JAIR 2023 Sequence-Oriented Diagnosis of Discrete-Event Systems Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao

JAIR 2020 Diagnosis of Deep Discrete-Event Systems Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

IJCAI 2016 Diagnosability of Discrete-Event Systems with Uncertain Observations Xingyu Su, Marina Zanella, Alban Grastien

IJCAI 2011 Context-Sensitive Diagnosis of Discrete-Event Systems Gianfranco Lamperti, Marina Zanella