A <em>Mithrilian </em>Approach to Safety and Robustness of Autonomous Cyber-Physical Systems.
- 주제(키워드) Control systems , Formal methods , Model checking , Safety control , System verification , Temporal logic
- 발행기관 University of California, Los Angeles
- 발행년도 2022
- 학위명 박사
- 학과 및 전공 Electrical and Computer Engineering 0333
- ISBN 9798802750711
- UCI I804:11009-000000272924
- DOI 10.23186/korea.000000272924.11009.0001389
- 제출원본 PQDT29214957
