Grants & Projects per year
Personal profile
Fingerprint
Dive into the research topics where Stanley Bak is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: CPS: Medium: Mitigating Errors in Air Traffic Control
Bak, S. (PI) & Smolka, S. (CoPI)
08/1/25 → 07/31/28
Project: Research
-
CAREER: Verified AI in Cyber-Physical Systems through Input Quantization
Bak, S. (PI)
08/1/23 → 07/31/28
Project: Research
-
SBIR Phase II: Data-Driven Dynamic Runtime Assurance Using Polynomial Zonotopes
US Air Force Research Laboratory
04/9/24 → 05/31/26
Project: Research
-
Verifying Sensor-Noise Robustness of Reinforcement Learning
Bak, S. (PI) & Rahmati, A. (CoPI)
US Air Force Office of Scientific Research
01/15/23 → 01/14/24
Project: Research
-
Scalable verification of autonomous systems using gray-box reachability approved for public release
Bak, S. (PI)
US Navy Office of Naval Research
01/19/22 → 01/18/25
Project: Research
-
Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights
Bak, S., Hekal, A., Kochdumper, N., Lew, E., Mata, A. & Rahmati, A., 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 234-255 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15055 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Finding Unknown Unknowns using Cyber-Physical System Simulators
Wehbe, S. D. & Bak, S., Jun 5 2025, Proceedings of the 2025 Workshop on Design Automation for CPS and IoT, DESTION 2025, 2025 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2025 Workshops. Association for Computing Machinery, Inc, 3727829. (Proceedings of the 2025 Workshop on Design Automation for CPS and IoT, DESTION 2025, 2025 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2025 Workshops).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Polynomial Zonotopes Intersection Checking
Luo, E., Huang, Y., Sun, Y. & Bak, S., May 7 2025, Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, ICCPS 2025, held as part of the CPS-IoT Week 2025. Association for Computing Machinery, Inc, 35. (Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, ICCPS 2025, held as part of the CPS-IoT Week 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes
Huang, Y., Luo, E., Bak, S. & Sun, Y., May 2025, In: Nonlinear Analysis: Hybrid Systems. 56, 101571.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement
Bak, S., Bogomolov, S., Hencey, B., Kochdumper, N., Lew, E. & Potomkin, K., Aug 2025, In: Formal Methods in System Design. 66, 2, p. 307-333 27 p.Research output: Contribution to journal › Article › peer-review