Enhancing Trust in Autonomous Systems without Verifying Software
The complexity of the software behind autonomous systems is rapidly growing, as are the applications of what they can do. It is not unusual for the lines of code to reach the millions, which adds to the verification challenge. The machine learning algorithms involved are often "black boxes"...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Virginia Tech
2019
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10919/89950 |