Stanley Bak

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes

   34 次引用 · 2023
2. 2
   The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS

   11 次引用 · 2022
3. 3
   Conformant Synthesis for Koopman Operator Linearized Control Systems

   7 次引用 · 2022
4. 4
   Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

   6 次引用 · 2016
5. 5
   The black-box simplex architecture for runtime assurance of multi-agent CPS

   3 次引用 · 2024
6. 6
   Safe CPS from unsafe controllers

   3 次引用 · 2021
7. 7
   On the Difficulty of Intersection Checking with Polynomial Zonotopes

   3 次引用 · 2023
8. 8
   Sparse Intersection Checking for Sparse Polynomial Zonotopes

   2 次引用 · 2025
9. 9
   Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees

   2 次引用 · 2019
10. 10
    Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes

    2 次引用 · 2022

主要合作者