[会议]2023 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design  Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best

摘要: 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)
相关作者
相关关键词