A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. Sadigh, D., Kim, E. S., Coogan, S., Sastry, S. S., & Seshia, S. A. In Proceedings of the 53rd IEEE Conference on Decision and Control (CDC), pages 1091–1096, December, 2014. IEEE. doi bibtex @inproceedings{sadigh2014learning,
title = {A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications},
author = {Sadigh, Dorsa and Kim, Eric S. and Coogan, Samuel and Sastry, S. Shankar and Seshia, Sanjit A.},
booktitle = {Proceedings of the 53rd {IEEE} Conference on Decision and Control ({CDC})},
pages = {1091--1096},
year = {2014},
month = dec,
publisher = {IEEE},
doi = {10.1109/cdc.2014.7039527},
xarxiv = {1409.5486}
}
Downloads: 0
{"_id":"doR4XtAuZAJipewu3","bibbaseid":"sadigh-kim-coogan-sastry-seshia-alearningbasedapproachtocontrolsynthesisofmarkovdecisionprocessesforlineartemporallogicspecifications-2014","author_short":["Sadigh, D.","Kim, E. S.","Coogan, S.","Sastry, S. S.","Seshia, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications","author":[{"propositions":[],"lastnames":["Sadigh"],"firstnames":["Dorsa"],"suffixes":[]},{"propositions":[],"lastnames":["Kim"],"firstnames":["Eric","S."],"suffixes":[]},{"propositions":[],"lastnames":["Coogan"],"firstnames":["Samuel"],"suffixes":[]},{"propositions":[],"lastnames":["Sastry"],"firstnames":["S.","Shankar"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]}],"booktitle":"Proceedings of the 53rd IEEE Conference on Decision and Control (CDC)","pages":"1091–1096","year":"2014","month":"December","publisher":"IEEE","doi":"10.1109/cdc.2014.7039527","xarxiv":"1409.5486","bibtex":"@inproceedings{sadigh2014learning,\n title = {A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications},\n author = {Sadigh, Dorsa and Kim, Eric S. and Coogan, Samuel and Sastry, S. Shankar and Seshia, Sanjit A.},\n booktitle = {Proceedings of the 53rd {IEEE} Conference on Decision and Control ({CDC})},\n pages = {1091--1096},\n year = {2014},\n month = dec,\n publisher = {IEEE},\n doi = {10.1109/cdc.2014.7039527},\n xarxiv = {1409.5486}\n}\n\n","author_short":["Sadigh, D.","Kim, E. S.","Coogan, S.","Sastry, S. S.","Seshia, S. A."],"key":"sadigh2014learning","id":"sadigh2014learning","bibbaseid":"sadigh-kim-coogan-sastry-seshia-alearningbasedapproachtocontrolsynthesisofmarkovdecisionprocessesforlineartemporallogicspecifications-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","dataSources":["Q5m4eREZKA5kKSYST"],"keywords":[],"search_terms":["learning","based","approach","control","synthesis","markov","decision","processes","linear","temporal","logic","specifications","sadigh","kim","coogan","sastry","seshia"],"title":"A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications","year":2014}