摘要: In this paper, we propose a testing framework for cyber-physical systems (CPS) that operate in uncertain environments. Testing such CPS applications requires carefully defining the environment to include all possible realistic ope... 展开
作者 | Xin Qin Nikos Aréchiga Jyotirmoy Deshmukh Andrew Best | ||
---|---|---|---|
作者单位 | |||
文集名称 | 2023 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design | ||
出版年 | 2023 | ||
会议名称 | ACM/IEEE International Symposium on Formal Methods and Models for System Design | ||
页码 | 36-46 | 开始页/总页数 | 00000036 / 11 |
会议地点 | Hamburg(DE) | 会议年/会议届次 | 2023 / 21st |
关键词 | Deep learning Design methodology Reinforcement learning Cyber-physical systems Test pattern generators Autonomous vehicles System analysis and design | ||
馆藏号 | IEL35057 (10315965) |