I agree that this site is using cookies. You can find further informations here.
X
Bak, Stanley
123  results:
Search for persons X
?
1

Real-Time Capable Decision Making for Autonomous Driving Us..:

, In: 2024 IEEE International Conference on Robotics and Automation (ICRA),
Kochdumper, Niklas ; Bak, Stanley - p. 14169-14176 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Zero-One Attack: Degrading Closed-Loop Neural Network Contr..:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Bak, Stanley ; Bogomolov, Sergiy ; Hekal, Abdelrahman... - p. 12-22 , 2024
Link: https://doi.org/10.1109/..
 
?
3

The hexatope and octatope abstract domains for neural netwo..:

Bak, Stanley ; Dohmen, Taylor ; Subramani, K....
Formal Methods in System Design.  , 2024
Link: https://doi.org/10.1007/..
 
?
4

Provable observation noise robustness for neural network co..:

Krish, Veena ; Mata, Andrew ; Bak, Stanley..
Research Directions: Cyber-Physical Systems.  2 (2024)  - p. , 2024
Link: https://doi.org/10.1017/..
 
?
5

The black-box simplex architecture for runtime assurance of..:

Sheikhi, Sanaz ; Mehmood, Usama ; Bak, Stanley..
Innovations in Systems and Software Engineering.  , 2024
Link: https://doi.org/10.1007/..
 
?
6

Fully automated verification of linear time-invariant syste..:

Kochdumper, Niklas ; Bak, Stanley
Nonlinear Analysis: Hybrid Systems.  53 (2024)  - p. 101491 , 2024
Link: https://doi.org/10.1016/..
 
?
7

Verification of Neural Network Control Systems in Continuou..:

, In: AI Verification; Lecture Notes in Computer Science,
ArjomandBigdeli, Ali ; Mata, Andrew ; Bak, Stanley - p. 100-115 , 2024
Link: https://doi.org/10.1007/..
 
?
8

Falsification using Reachability of Surrogate Koopman Model:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Bak, Stanley ; Bogomolov, Sergiy ; Hekal, Abdelrahman... - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
9

Fully-Automated Verification of Linear Systems Using Reacha..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Wetzlinger, Mark ; Kochdumper, Niklas ; Bak, Stanley. - p. 1-12 , 2023
Link: https://dl.acm.org/doi/1..
 
?
10

Open- and Closed-Loop Neural Network Verification Using Pol..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Kochdumper, Niklas ; Schilling, Christian ; Althoff, Matthias. - p. 16-36 , 2023
Link: https://doi.org/10.1007/..
 
?
11

AutoKoopman: A Toolbox for Automated System Identification ..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Lew, Ethan ; Hekal, Abdelrahman ; Potomkin, Kostiantyn... - p. 237-250 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Reachability Analysis for Linear Systems with Uncertain Par..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Luo, Ertai ; Kochdumper, Niklas ; Bak, Stanley - p. 1-12 , 2023
Link: https://dl.acm.org/doi/1..
 
?
13

Evaluation of Neural Network Verification Methods for Air-t..:

Manzanas Lopez, Diego ; Johnson, Taylor T. ; Bak, Stanley..
Journal of Air Transportation.  31 (2023)  1 - p. 1-17 , 2023
Link: https://doi.org/10.2514/..
 
?
14

Fully Automated Verification of Linear Systems Using Inner ..:

Wetzlinger, Mark ; Kochdumper, Niklas ; Bak, Stanley.
IEEE Transactions on Automatic Control.  68 (2023)  12 - p. 7771-7786 , 2023
Link: https://doi.org/10.1109/..
 
?
15

The Octatope Abstract Domain for Verification of Neural Net..:

, In: Formal Methods; Lecture Notes in Computer Science,
Bak, Stanley ; Dohmen, Taylor ; Subramani, K.... - p. 454-472 , 2023
Link: https://doi.org/10.1007/..
 
1-15