Cited By
View all- Zhao QChen XZhao ZZhang YTang ELi XBartocci EPutot S(2022)Verifying Neural Network Controlled Systems Using Neural NetworksProceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3501710.3519511(1-11)Online publication date: 4-May-2022
- Ghorbal KSogokon A(2022)Characterizing positively invariant setsJournal of Symbolic Computation10.1016/j.jsc.2022.01.004113:C(1-28)Online publication date: 1-Nov-2022
- Zhao QChen XZhang YSha MYang ZLin WTang EChen QLi XBogomolov SJungers R(2021)Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systemsProceedings of the 24th International Conference on Hybrid Systems: Computation and Control10.1145/3447928.3456638(1-11)Online publication date: 19-May-2021
- Show More Cited By