ML Anthology

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle

Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres
IJCAI 2011 pp. 1659-1664
doi:10.5591/978-1-57735-516-8/IJCAI11-279 /ijcai/2011/ezekiel2011ijcai-verifying/
IJCAI Semantic Scholar

Cite

Text

Ezekiel et al. "Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-279

Markdown

[Ezekiel et al. "Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/ezekiel2011ijcai-verifying/) doi:10.5591/978-1-57735-516-8/IJCAI11-279

BibTeX

@inproceedings{ezekiel2011ijcai-verifying,
  title     = {{Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle}},
  author    = {Ezekiel, Jonathan and Lomuscio, Alessio and Molnar, Levente and Veres, Sandor M.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {1659-1664},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-279},
  url       = {https://mlanthology.org/ijcai/2011/ezekiel2011ijcai-verifying/}
}