Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles (2021)

First Author: S. Foster
Attributed to:  CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/2006.09233

Type: Conference/Paper/Proceeding/Abstract