Chiao Hsieh

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

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

論文

• Assuring Safety of Vision-Based Swarm Formation Control
  2022/10/1
• GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
  2022/8/1
• Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
  2021/11/1
• SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)
  2020/9/1
• CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
  2019/10/1