Chiao Hsieh
发表
Sayan Mitra,
Chiao Hsieh,
2019,
IFM.
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020
.
Farn Wang,
Ming-Hsien Tsai,
Yu-Fang Chen,
2015,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
pdf
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020,
ArXiv.
Geir E. Dullerud,
Sayan Mitra,
Chiao Hsieh,
2019,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Farn Wang,
Ming-Hsien Tsai,
Yu-Fang Chen,
2015,
TACAS.
Sayan Mitra,
Chiao Hsieh,
Sasa Misailovic,
2020,
Proc. ACM Program. Lang..
Chun-Nan Chou,
Chiao Hsieh,
Chung-Yang Huang,
2012,
DAC Design Automation Conference 2012.
Farn Wang,
Ming-Hsien Tsai,
Yu-Fang Chen,
2014,
SAS.
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
pdf
Sayan Mitra,
Chiao Hsieh,
Sasa Misailovic,
2021,
ArXiv.
Sayan Mitra,
Chiao Hsieh,
Hussein Sibai,
2020,
2021 IEEE International Intelligent Transportation Systems Conference (ITSC).