Author:
Duggirala Parasara Sridhar,Viswanathan Mahesh
Publisher
Springer International Publishing
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Statistical verification of autonomous system controllers under timing uncertainties;Real-Time Systems;2024-01-29
2. Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets;IEEE Transactions on Automatic Control;2023-12
3. 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
4. Verification of Recurrent Neural Networks with Star Reachability;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09
5. Quantitative Verification for Neural Networks using ProbStars;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09