Theodor Tempelmeier. Proving the Safety of Autonomous Systems with Formal Methods - What Can You Expect?. In Herwig Unger, Kyandoghere Kyamakya, Janusz Kacprzyk, editors, Autonomous Systems: Developments and Trends. Volume 391 of Studies in Computational Intelligence, pages 59-65, Springer, 2012. [doi]