@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}
}

{"_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}