A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications (2014)

by D Sadigh, E S Kim, S Coogan, S S Sastry, S A Seshia
Venue:Proceedings of the 53rd IEEE Conference on Decision and Control (CDC