Personensuche
X
?
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ,
8
Soy: An Efficient MILP Solver for Piecewise-Affine Systems:
, In:
?
2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) ,
9
Toward Certified Robustness Against Real-World Distribution..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
10