Giuseppe Cicala, A. Khalili, Giorgio Metta, Lorenzo Natale, S. Pathak, Luca Pulina, Armando Tacchella. Engineering Approaches and Methods to Verify Software in Autonomous Systems. In Emanuele Menegatti, Nathan Michael, Karsten Berns, Hiroaki Yamaguchi, editors, Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014. Volume 302 of Advances in Intelligent Systems and Computing, pages 1683-1700, Springer, 2014. [doi]
Abstract is missing.