Stochastic Systems

Cristian-Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, and Calin Belta. Control in Belief Space with Temporal Logic Specifications. In IEEE Conference on Decision and Control (CDC), pages 7419-7424, Las Vegas, NV, USA, December 2016. doi:10.1109/CDC.2016.7799415.

Cristofalo Eric, Leahy Kevin, Vasile Cristian Ioan, Montijano Eduardo, Schwager Mac, and Belta Calin. Localization of a Ground Robot by Aerial Robots for GPS-deprived Control with Temporal Logic Constraints. In International Symposium on Experimental Robotics (ISER), pages 525-537, Tokyo, Japan, October 2016. doi:10.1007/978-3-319-50115-4_46.