Why use Formal Methods for Autonomous Systems? (2019)

First Author: Luckcuck M

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.ntnu.edu/documents/139785/1283738018/Proceedings+of+the+1st+IWASS.pdf/dadf6629-ef88-4e48-9c2a-8576c0379da8

Type: Conference/Paper/Proceeding/Abstract