Why use Formal Methods for Autonomous Systems? (2019)

First Author: Luckcuck M

Attributed to: Robotics and Artificial Intelligence for Nuclear (RAIN) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.researchgate.net/deref/http%3A%2F%2Fdx.doi.org%2F10.13140%2FRG.2.2.11106.07361?_sg%5B0%5D=ACTew15kE58ceIdkWTJxUpSHSSnQ7KYSskC6CzacKqlkCrjuSADoDdE7aeoge72qowE3Zbk1xrRu9Mn6Tag0VX-nJw.qQwJ9dkKYA-slQUsmOSA3h-OnHsCv5oZceQJzybVFaKkmIwgznZYQmxk5-8rQYWGxorEF_pO1oVap1NB9pUnyw

Type: Conference/Paper/Proceeding/Abstract