Skip to main content
A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications.
Published Web Location
http://www.eecs.berkeley.edu/~sseshia/pubdir/cdc14-learning.pdfNo data is associated with this publication.