Sophie Coudert, Tullio Joseph Tanzi. Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management. In Yuko Murayama, Dimiter Velev, Plamena Zlateva, Jose J. Gonzalez, editors, Information Technology in Disaster Risk Reduction - First IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Sofia, Bulgaria, November 16-18, 2016, Revised Selected Papers. Volume 501 of IFIP Advances in Information and Communication Technology, pages 61-76, Springer, 2016. [doi]
Abstract is missing.