Control in Belief Space with Temporal Logic Specifications
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.