Modeling and Design of Assured and Adaptive Cyber-Physical Systems.
- 주제(키워드) Cyber-physical systems , Human-robot interaction , Microfluidics , Model checking , Stochastic games , Temporal logic
- 발행기관 Duke University
- 발행년도 2022
- 학위명 박사
- 학과 및 전공 Electrical and Computer Engineering
- ISBN 9798351450230
- UCI I804:11009-000000273587
- DOI 10.23186/korea.000000273587.11009.0001381
- 제출원본 PQDT29259963
