Increasing confidence in autonomous systems
연구 분야: Artificial Intelligence
학회: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution
초록
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.
📄 논문 정보
| 발행 연도 | 2021년 |
|---|---|
| 인용수 | 2 |
| 출판 국가 | Italy |
| 사이트 | ACM |
| 좋아요 수 | 0 |