Conference ProceedingsOPEN ACCESS

Increasing Confidence in Autonomous Systems

VORTEX 2021 - Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, co-located with ECOOP/ISSTA 2021 (2021) 1-4
DOI: 10.1145/3464974.3468452
2Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This presentation will describe how we are using, and aiming to use, runtime verification, along with other varieties of formal verification and simulation-based testing, to together provide increased confidence in a range of autonomous systems.

Author supplied keywords

Cite

CITATION STYLE

APA

Fisher, M., Ferrando, A., & Cardoso, R. C. (2021). Increasing Confidence in Autonomous Systems. In VORTEX 2021 - Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, co-located with ECOOP/ISSTA 2021 (pp. 1–4). Association for Computing Machinery, Inc. https://doi.org/10.1145/3464974.3468452

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free