Author:Stanley Bak

Publications
Numerical Verification of Affine Systems with up to a Billion Dimensions Stanley Bak, Hoang-Dung Tran and Taylor T. Johnson EasyChair Preprint 812
Closed-Loop ACAS Xu Neural Network Verification Sanaz Sheikhi and Stanley Bak In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp and Mark Wetzlinger In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling and Stefan Schupp In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees Stanley Bak and Kerianne Hobbs In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Space Debris Collision Detection using Reachability Kerianne Hobbs, Peter Heidlauf, Alexander Collins and Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers Peter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray and Stefan Schupp In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Direct Verification of Linear Systems with over 10000 Dimensions Stanley Bak and Parasara Sridhar Duggirala In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
High-level Hybrid Systems Analysis with Hypy Stanley Bak, Sergiy Bogomolov and Christian Schilling In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark Generator for Stratified Controllers of Tank Networks Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

AABB Trees², Academic, ACAS Xu, Affine systems², airplane, ARCH-COMP, autonomous systems, benchmark², C2E2, CEGAR, collision detection², continuous systems, CORA, counter-example generation, dynamical systems, F-16, Flow*, generator, hybrid automaton, hybrid systems⁴, Hydra, Hylaa², Hylaa-Continuous, Hypy, Hyst², JuliaReach, Krylov subspace, linear continuous dynamics, linear systems³, nonlinear, nonlinear systems, ODEs, orbital dynamics, parameter identification, pseudo-invariant, reachability³, reachability analysis², Safety Checking, SpaceEx², spatial data structures, tank, test case, tool, verification⁶, XSpeed.