Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Picture for Chiao Hsieh

Chiao Hsieh

University of Illinois at Urbana-Champaign

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

Chiao Hsieh , Keyur Joshi , Sasa Misailovic , Sayan Mitra

* 12 pages, 9 figures, submitted to HSCC 2022 

   Access Paper or Ask Questions

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation

Chiao Hsieh , Hussein Sibai , Hebron Taylor , Sayan Mitra

* 15 pages, 9 figures 

   Access Paper or Ask Questions

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 Dullerud

   Access Paper or Ask Questions

PAC Learning-Based Verification and Model Synthesis

Yu-Fang Chen , Chiao Hsieh , Ondřej Lengál , Tsung-Ju Lii , Ming-Hsien Tsai , Bow-Yaw Wang , Farn Wang

* 11 pages 

   Access Paper or Ask Questions