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