@inproceedings{2eeffe9b48b44b1cb38813ec4f742717,
title = "Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles",
keywords = "Computer Aided Modeling, Fault Tolerant Design, Hardware-Software Co-design, Model-Checking, Platform Specific Model, UPPAAL",
author = "Hong Liu and Ruofa Cheng and Tianyu Yang and Jing Wang",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 ; Conference date: 29-10-2017 Through 01-11-2017",
year = "2017",
month = dec,
day = "15",
doi = "10.1109/IECON.2017.8216540",
language = "English",
series = "Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "3197--3202",
booktitle = "Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society",
}