Affiliation:
1. Northwestern University
2. Boston University
Funder
National Science Foundation awards
NSF grant
DARPA BRASS program
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems;2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton);2023-09-26
2. Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30
3. System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints;ACM Transactions on Cyber-Physical Systems;2023-07-13
4. Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints;Proceedings of the 28th Asia and South Pacific Design Automation Conference;2023-01-16
5. Formal Certification Methods for Automated Vehicle Safety Assessment;IEEE Transactions on Intelligent Vehicles;2023-01