![](/img/cover-not-exists.png)
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
Ding, Xuchu, Smith, Stephen L., Belta, Calin, Rus, DanielaVolume:
59
Language:
english
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/TAC.2014.2298143
Date:
May, 2014
File:
PDF, 3.56 MB
english, 2014