"Reaching Out Towards Fully Verified Autonomous Systems."

Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics