@article{jha2018safe,
  title = {Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic},
  author = {Jha, Susmit and Raman, Vasumathi and Sadigh, Dorsa and Seshia, Sanjit A.},
  journal = {Journal of Automated Reasoning ({JAR})},
  year = {2018},
  month = jan,
  volume = {60},
  number = {1},
  pages = {43--62},
  issn = {1573-0670},
  doi = {10.1007/s10817-017-9413-9}
}

{"_id":"bpXDp9nBaatuAPMYb","bibbaseid":"jha-raman-sadigh-seshia-safeautonomyunderperceptionuncertaintyusingchanceconstrainedtemporallogic-2018","author_short":["Jha, S.","Raman, V.","Sadigh, D.","Seshia, S. A."],"bibdata":{"bibtype":"article","type":"article","title":"Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic","author":[{"propositions":[],"lastnames":["Jha"],"firstnames":["Susmit"],"suffixes":[]},{"propositions":[],"lastnames":["Raman"],"firstnames":["Vasumathi"],"suffixes":[]},{"propositions":[],"lastnames":["Sadigh"],"firstnames":["Dorsa"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]}],"journal":"Journal of Automated Reasoning (JAR)","year":"2018","month":"January","volume":"60","number":"1","pages":"43–62","issn":"1573-0670","doi":"10.1007/s10817-017-9413-9","bibtex":"@article{jha2018safe,\n title = {Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic},\n author = {Jha, Susmit and Raman, Vasumathi and Sadigh, Dorsa and Seshia, Sanjit A.},\n journal = {Journal of Automated Reasoning ({JAR})},\n year = {2018},\n month = jan,\n volume = {60},\n number = {1},\n pages = {43--62},\n issn = {1573-0670},\n doi = {10.1007/s10817-017-9413-9}\n}\n\n","author_short":["Jha, S.","Raman, V.","Sadigh, D.","Seshia, S. A."],"key":"jha2018safe","id":"jha2018safe","bibbaseid":"jha-raman-sadigh-seshia-safeautonomyunderperceptionuncertaintyusingchanceconstrainedtemporallogic-2018","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","dataSources":["Q5m4eREZKA5kKSYST"],"keywords":[],"search_terms":["safe","autonomy","under","perception","uncertainty","using","chance","constrained","temporal","logic","jha","raman","sadigh","seshia"],"title":"Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic","year":2018}