@conference {
	title = {Optimal Mission Planning under Logical Constraints with Safety Gaurantees: An Application for Robotic CPSs},
	author = {Maity, Dipankar., Zhou, Yuchen., Baras, John S.},
	year = {2016},
	month = {09/2016},
	address = {Garching, Munich},
	booktitle = {International Symposium on Networked Cyber-Physical Systems (NetCPS)}
}
