Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta. A Formal Framework for the Specification, Verification and Synthesis of Diagnosers. In Late-Breaking Developments in the Field of Artificial Intelligence, Bellevue, Washington, USA, July 14-18, 2013. Volume WS-13-17 of AAAI Workshops, AAAI, 2013. [doi]
@inproceedings{BozzanoCGT13,
title = {A Formal Framework for the Specification, Verification and Synthesis of Diagnosers},
author = {Marco Bozzano and Alessandro Cimatti and Marco Gario and Stefano Tonetta},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW13/paper/view/7048},
researchr = {https://researchr.org/publication/BozzanoCGT13},
cites = {0},
citedby = {0},
booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence, Bellevue, Washington, USA, July 14-18, 2013},
volume = {WS-13-17},
series = {AAAI Workshops},
publisher = {AAAI},
}