Xue An Chuang

According to our database, Xue An Chuang authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation.

Rose Bohrer, Adriel Luo, Xue An Chuang, André Platzer

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018