Hongchao Zhang

収録論文 6本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
  2026/3/1
• Stochastic Neural Control Barrier Functions
  2025/6/1
• SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
  2024/10/1
• Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
  2024/6/1
• Learning a Formally Verified Control Barrier Function in Stochastic Environment
  2024/3/1
• Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
  2024/2/1