Andrew Clark
収録論文 7本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- Stochastic Neural Control Barrier Functions2025/6/1
- SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions2024/10/1
- Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions2024/6/1
- Learning a Formally Verified Control Barrier Function in Stochastic Environment2024/3/1
- Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks2024/2/1
- Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold2023/12/1
- Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks2018/9/1