?
Advances in Energy Resources and Environmental Engineering; Environmental Science and Engineering ,
1
Experimental Study on Properties and Microbial Methane Oxid..:
, In:
?
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ,
2
Soy: An Efficient MILP Solver for Piecewise-Affine Systems:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
3
Lightweight Online Learning for Sets of Related Problems in..:
, In:
?
2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) ,
4
Toward Certified Robustness Against Real-World Distribution..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
5
Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
6
On Optimizing Back-Substitution Methods for Neural Network ..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
7
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT ..:
, In:
?
Lecture Notes in Computer Science; Computer Safety, Reliability, and Security ,
8
DeepCert: Verification of Contextually Relevant Robustness ..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
An SMT-Based Approach for Verifying Binarized Neural Networ..:
, In:
?
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ,
10
Towards Verification of Neural Networks for Small Unmanned ..:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
11
Parallelization Techniques for Verifying Neural Networks:
, In:
?
Proceedings of the 28th ACM International Conference on Multimedia ,
12
ASTA-Net: Adaptive Spatio-Temporal Attention Network for Pe..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
13
The Marabou Framework for Verification and Analysis of Deep..:
, In:
?
Proceedings of the 27th ACM International Conference on Multimedia ,
14
Cross-Fiber Spatial-Temporal Co-enhanced Networks for Video..:
, In:
?
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education ,
15