当前位置：
X-MOL 学术
›
IEEE Trans. Autom. Control
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
IEEE Transactions on Automatic Control ( IF 6.2 ) Pub Date : 2024-11-25 , DOI: 10.1109/tac.2024.3505817 Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
中文翻译：
基于安全栅的测试综合，适用于受定时 Reach-Avoid 规范约束的安全关键系统
更新日期：2024-11-25
IEEE Transactions on Automatic Control ( IF 6.2 ) Pub Date : 2024-11-25 , DOI: 10.1109/tac.2024.3505817 Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
中文翻译：
基于安全栅的测试综合，适用于受定时 Reach-Avoid 规范约束的安全关键系统
京公网安备 11010802027423号