Hsieh, Chiao

1. PAC Learning-Based Verification and Model Synthesis
   2015/11/03 by Yu‐Fang Chen, Chen, Yu-Fang, Chiao Hsieh +11 · 2 citations
   Computer Science · #Machine Learning and Algorithms #Software Testing and Debugging Techniques #Formal Methods in Verification
2. Assuring Safety of Vision-Based Swarm Formation Control
   2022/10/03 by Hsieh, Chiao, Koh, Yubin, Li, Yangge +1 · 2 citations
   #FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Software Engineering (cs.SE)