Author:
Sankaranarayanan Sriram,Sipma Henny B.,Manna Zohar
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Reasoning For The Existence Of Darboux Polynomials;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
2. Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
3. Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming;Journal of Systems Science and Complexity;2022-06
4. Verifying Neural Network Controlled Systems Using Neural Networks;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04
5. Reachability Analysis for Cyber-Physical Systems: Are We There Yet?;Lecture Notes in Computer Science;2022