Verifying Autonomous Systems



Fisher, Michael ORCID: 0000-0002-0875-3862, Dennis, Louise ORCID: 0000-0003-1426-1896 and Webster, Matt ORCID: 0000-0002-8817-6881
(2013) Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56 (9). 84 - 93.

Access the full-text of this item by clicking on the Open Access link.
Item Type: Article
Depositing User: Symplectic Admin
Date Deposited: 28 Apr 2016 10:30
Last Modified: 02 Sep 2021 11:43
DOI: 10.1145/2500468.2494558
Open Access URL: http://doi.acm.org/10.1145/2494558
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3000869