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
