Stanley Bak

Stony Brook University — United States

Computer Science · Physical Sciences

30h-index2.5kcitations143works1.62yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(63), Adversarial Robustness in Machine Learning(44), Real-Time Systems Scheduling(23), Software Testing and Debugging Techniques(22), Model Reduction and Neural Networks(18)

Publications143 total

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
ArXiv.org·2025Open Access
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich)·2025Open Access
Sparse Intersection Checking for Sparse Polynomial Zonotopes
2025· 2 citedOpen Access
Symbolic Gaussian Smoothing
2025Open Access
Polynomial Zonotopes Intersection Checking
2025Open Access
Finding Unknown Unknowns using Cyber-Physical System Simulators
2025
Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling
Proceedings of the AAAI Conference on Artificial Intelligence·2025· 1 citedOpen Access
Finding Unknown Unknowns using Cyber-Physical System Simulators (Extended Report)
arXiv (Cornell University)·2025Open Access
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
Formal Methods in System Design·2025
Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes
Nonlinear Analysis Hybrid Systems·2025· 1 cited
Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights
Lecture notes in computer science·2025Open Access
Testing Autonomous Cyber-Physical Systems with Koopman Surrogate Model Predictive Control
2024
The hexatope and octatope abstract domains for neural network verification
Formal Methods in System Design·2024· 2 cited
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
arXiv (Cornell University)·2024Open Access
Verification of Neural Network Control Systems in Continuous Time
arXiv (Cornell University)·2024Open Access
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
arXiv (Cornell University)·2024Open Access
Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations
2024
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets
2024· 10 cited
Falsification using Reachability of Surrogate Koopman Models
2024· 4 cited
Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis
Nonlinear Analysis Hybrid Systems·2024· 6 cited
page 1 of 8Next →

Frequent Co-authors

Taylor T. Johnson(18), Marco Caccamo(15), Lui Sha(8), Hoang-Dung Tran(8), Rodolfo Pellizzoni(7), Emiliano Betti(6), Sergiy Bogomolov(6), Matthias Althoff(5), Diego Manzanas Lopez(5), Parasara Sridhar Duggirala(4), Sibin Mohan(4), Niklas Kochdumper(4), Luan Viet Nguyen(4), Heechul Yun(3), Gang Yao(3), Kerianne L. Hobbs(3), Sayan Mitra(3), Changliu Liu(3), Patrick Musau(3), Xiaodong Yang(3)