トップページ  >  教員個別情報  >  Misc
謝　橋 （HSIEH, Chiao）特任助教
情報科学, 次世代デジタル社会基盤研究領域

Misc

7件
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
Chiao Hsieh, Masaki Waga, Kohei Suenaga
-, 2025
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
-, 2023
Assuring safety of vision-based swarm formation control.
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
CoRR, abs/2210.00982, -, 2022
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
CoRR, abs/2111.05534, -, 2021
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra
CoRR, abs/2009.04655, -, 2020
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination.
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CoRR, abs/1910.01557, -, 2019
PAC Learning-Based Verification and Model Synthesis.
Yu-Fang Chen, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang
CoRR, abs/1511.00754, -, 2015