ML Anthology

Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms

Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
AAAI 2007 pp. 305-310
/aaai/2007/grastien2007aaai-diagnosis/
PDF AAAI Semantic Scholar

Cite

Text

Grastien et al. "Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Grastien et al. "Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/grastien2007aaai-diagnosis/)

BibTeX

@inproceedings{grastien2007aaai-diagnosis,
  title     = {{Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms}},
  author    = {Grastien, Alban and Anbulagan,  and Rintanen, Jussi and Kelareva, Elena},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {305-310},
  url       = {https://mlanthology.org/aaai/2007/grastien2007aaai-diagnosis/}
}