@incollection{ExpRobotics2016,
	author = {Leahy, Kevin and Zhou, Dingjiang and Vasile, Cristian Ioan and Oikonomopoulos, Konstantinos and Schwager, Mac and Belta, Calin},
	title = {Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints},
	booktitle = {Experimental Robotics},
	series = {Springer Tracts in Advanced Robotics},
	editor = {Hsieh, M. Ani and Khatib, Oussama and Kumar, Vijay},
	year = {2016},
	volume = {109},
	pages = {605--619},
	publisher = {Springer International Publishing},
	note = {isbn: 978-3-319-23777-0, \href{http://dx.doi.org/10.1007/978-3-319-23778-7_40}{link}},
	isbn = {978-3-319-23777-0},
	doi = {10.1007/978-3-319-23778-7_40},
	url = {http://dx.doi.org/10.1007/978-3-319-23778-7_40},
	keywords = {Persistent monitoring; Multi-robot systems; Aerial robotics; Formal methods},
}