Publications

bittner2012symbolic

Summary

Bittner, B., Bozzano, M., Cimatti, A. and Olive, X. (2012) Symbolic Synthesis of Observability Requirements for Diagnosability. In Proceedings of AAAI 2012, 26(1):712-718.

BibTeX Entry

@INPROCEEDINGS { bittner2012symbolic,
    TITLE = { Symbolic Synthesis of Observability Requirements for Diagnosability. },
    AUTHOR = { Bittner, B. and Bozzano, M. and Cimatti, A. and Olive, X. },
    BOOKTITLE = { Proceedings of AAAI 2012 },
    YEAR = { 2012 },
}