Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Calinescu, Radu orcid.org/0000-0002-2678-9260 (Accepted: 2020) Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles. In: Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). IEEE (In Press)

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Dates:
  • Accepted: 2 August 2020
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 27 Jan 2021 13:30
Last Modified: 21 Jan 2025 18:25
Status: In Press
Publisher: IEEE
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: ICECCS_2020_Accepted.pdf

Description: ICECCS_2020_Accepted

Export

Statistics