Hong Liu, Tianyu Yang, Jing Wang. Model Checking for the Fault Tolerance of Collaborative AUVs. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 244-245, IEEE, 2016. [doi]
Abstract is missing.