Cited By
View all- Anand MMurali VTrivedi AZamani MBartocci EPutot S(2022)k-Inductive Barrier Certificates for Stochastic SystemsProceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3501710.3519532(1-11)Online publication date: 4-May-2022
- Kıvılcım AWisniewski R(2021)Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching2021 60th IEEE Conference on Decision and Control (CDC)10.1109/CDC45484.2021.9683662(5350-5355)Online publication date: 14-Dec-2021
- Yu HMoyalan JTellez-Castro DVaidya UChen Y(2021)Convex Optimal Control Synthesis Under Safety Constraints2021 60th IEEE Conference on Decision and Control (CDC)10.1109/CDC45484.2021.9683523(4615-4621)Online publication date: 14-Dec-2021
- Show More Cited By