Open AccessA Comprehensive Approach to On-board Autonomy Verification and Validation
Author(s) -
Marco Bozzano,
Alessandro Cimatti,
Marco Roveri
Publication year - 2021
Publication title -
acm transactions on intelligent systems and technology
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.914
H-Index - 63
eISSN - 2157-6912
pISSN - 2157-6904
DOI - 10.1145/3472715
Subject(s) - computer science , autonomy , reliability (semiconductor) , plan (archaeology) , on board , identification (biology) , artificial intelligence , space (punctuation) , formal verification , fault (geology) , software engineering , programming language , power (physics) , physics , botany , archaeology , engineering , quantum mechanics , biology , political science , law , history , aerospace engineering , operating system , seismology , geology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom