ML Anthology

Automated Synthesis of Timed Failure Propagation Graphs

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
IJCAI 2016 pp. 972-978
/ijcai/2016/bittner2016ijcai-automated/
IJCAI Semantic Scholar

Cite

Text

Bittner et al. "Automated Synthesis of Timed Failure Propagation Graphs." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Bittner et al. "Automated Synthesis of Timed Failure Propagation Graphs." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/bittner2016ijcai-automated/)

BibTeX

@inproceedings{bittner2016ijcai-automated,
  title     = {{Automated Synthesis of Timed Failure Propagation Graphs}},
  author    = {Bittner, Benjamin and Bozzano, Marco and Cimatti, Alessandro},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {972-978},
  url       = {https://mlanthology.org/ijcai/2016/bittner2016ijcai-automated/}
}