Zhou, Yuchen., Raghavan, Aneesh., Baras, John S., "Time varying Control set design for UAV Collision Avoidance Using Reachable Tubes", 55th IEEE Conference on Decision and Control , pp. 6857-6862, Las Vegas, Nevada, December 12-14, 2016
Maity, Dipankar., Zhou, Yuchen., Baras, John S., "Optimal Mission Planning under Logical Constraints with Safety Gaurantees: An Application for Robotic CPSs", International Symposium on Networked Cyber-Physical Systems (NetCPS), Garching, Munich, September 19-20, 2016
Zhou, Yuchen., Maity, Dipankar., Baras, John S., "Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic", European Control Conference (ECC16), pp. 690-695, Aalborg, DK, June 29 - July 1, 2016
