Cited By
View all- Gupta LChowdhury Choton JPrabhakar P(2024)Safety Verification of Closed-loop Control System with Anytime Perception2024 IEEE International Conference on Robotics and Automation (ICRA)10.1109/ICRA57147.2024.10611044(227-233)Online publication date: 13-May-2024
- Wetzlinger MKochdumper NBak SAlthoff M(2023)Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable SetsIEEE Transactions on Automatic Control10.1109/TAC.2023.329200868:12(7771-7786)Online publication date: Dec-2023
- Gaßmann VAlthoff M(2023)Polynomial Controller Synthesis of Nonlinear Systems With Continuous State Feedback Using Trust RegionsIEEE Open Journal of Control Systems10.1109/OJCSYS.2023.33013352(310-324)Online publication date: 2023