Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia. Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. Journal of Automated Reasoning, 60(1):43-62, 2018. [doi]
@article{JhaRSS18,
title = {Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic},
author = {Susmit Jha and Vasumathi Raman and Dorsa Sadigh and Sanjit A. Seshia},
year = {2018},
doi = {10.1007/s10817-017-9413-9},
url = {https://doi.org/10.1007/s10817-017-9413-9},
researchr = {https://researchr.org/publication/JhaRSS18},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {60},
number = {1},
pages = {43-62},
}