{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T18:47:13Z","timestamp":1780512433476,"version":"3.54.1"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T00:00:00Z","timestamp":1495756800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1007\/s10817-017-9413-9","type":"journal-article","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T13:55:33Z","timestamp":1495806933000},"page":"43-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":52,"title":["Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic"],"prefix":"10.1007","volume":"60","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5983-9095","authenticated-orcid":false,"given":"Susmit","family":"Jha","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vasumathi","family":"Raman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dorsa","family":"Sadigh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,5,26]]},"reference":[{"issue":"11","key":"9413_CR1","doi-asserted-by":"crossref","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","volume":"44","author":"A Abate","year":"2008","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11), 2724\u20132734 (2008)","journal-title":"Automatica"},{"key":"9413_CR2","doi-asserted-by":"crossref","unstructured":"Akametalu, A.K., Fisac, J.F., Gillula, J.H., Kaynama, S., Zeilinger, M.N., Tomlin, C.J.: Reachability-based safe learning with gaussian processes. In: 53rd IEEE Conference on Decision and Control, pp. 1424\u20131431. IEEE (2014)","DOI":"10.1109\/CDC.2014.7039601"},{"key":"9413_CR3","unstructured":"Andersen, M.S., Dahl, J., Vandenberghe, L.: Cvxopt: A python package for convex optimization, version 1.1. 6. Available at cvxopt. org, (2013)"},{"key":"9413_CR4","volume-title":"Introduction to Stochastic Control Theory","author":"KJ \u00c5str\u00f6m","year":"2012","unstructured":"\u00c5str\u00f6m, K.J.: Introduction to Stochastic Control Theory. Courier Corporation, North Chelmsford (2012)"},{"issue":"3","key":"9413_CR5","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/MRA.2006.1678144","volume":"13","author":"T Bailey","year":"2006","unstructured":"Bailey, T., Durrant-Whyte, Hugh: Simultaneous localization and mapping (slam): Part ii. IEEE Robot. Autom. Mag. 13(3), 108\u2013117 (2006)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"9413_CR6","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1080\/10556780903087124","volume":"24","author":"P Belotti","year":"2009","unstructured":"Belotti, P., Lee, J., Liberti, L., Margot, F., Wachter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Methods Softw. 24, 597\u2013634 (2009)","journal-title":"Optim. Methods Softw."},{"key":"9413_CR7","doi-asserted-by":"crossref","unstructured":"Berkenkamp, F., Schoellig, A.P.: Safe and robust learning control with gaussian processes. In: Control Conference (ECC), 2015 European, pp. 2496\u20132501. IEEE, (2015)","DOI":"10.1109\/ECC.2015.7330913"},{"key":"9413_CR8","doi-asserted-by":"crossref","unstructured":"Bernini, N., Bertozzi, M., Castangia, L., Patander, M., Sabbatelli, M.: Real-time obstacle detection using stereo vision for autonomous ground vehicles: A survey. In: ITSC, pp. 873\u2013878. IEEE, (2014)","DOI":"10.1109\/ITSC.2014.6957799"},{"issue":"1","key":"9413_CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.arcontrol.2012.03.012","volume":"36","author":"A Broggi","year":"2012","unstructured":"Broggi, A., et al.: Autonomous vehicles control in the VisLab intercontinental autonomous challenge. Ann. Rev. Control 36(1), 161\u2013171 (2012)","journal-title":"Ann. Rev. Control"},{"key":"9413_CR10","doi-asserted-by":"crossref","DOI":"10.1201\/9781420008548","volume-title":"Stochastic Hybrid Systems","author":"Christos G Cassandras","year":"2006","unstructured":"Cassandras, Christos G., Lygeros, John: Stochastic Hybrid Systems, vol. 24. CRC Press, Boca Raton (2006)"},{"issue":"3","key":"9413_CR11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1287\/mnsc.4.3.235","volume":"4","author":"A Charnes","year":"1958","unstructured":"Charnes, A., Cooper, W.W., Symonds, G.H.: Cost horizons and certainty equivalents: an approach to stochastic programming of heating oil. Manag. Sci. 4(3), 235\u2013263 (1958)","journal-title":"Manag. Sci."},{"key":"9413_CR12","doi-asserted-by":"crossref","unstructured":"De\u00a0Nijs, R., Ramos, S., Roig, G., Boix, X., Gool, L.V., Kuhnlenz, K: On-line semantic perception using uncertainty. In: IROS, pp. 4185\u20134191. IEEE, (2012)","DOI":"10.1109\/IROS.2012.6386212"},{"key":"9413_CR13","volume-title":"A Probabilistic Theory of Pattern Recognition","author":"Luc Devroye","year":"2013","unstructured":"Devroye, Luc, Gy\u00f6rfi, L\u00e1szl\u00f3, Lugosi, G\u00e1bor: A Probabilistic Theory of Pattern Recognition, vol. 31. Springer, Berlin (2013)"},{"issue":"10","key":"9413_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/2770869","volume":"58","author":"TG Dietterich","year":"2015","unstructured":"Dietterich, T.G., Horvitz, Eric J.: Rise of concerns about AI: reflections and directions. Commun. ACM 58(10), 38\u201340 (2015)","journal-title":"Commun. ACM"},{"key":"9413_CR15","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: FORMATS, pp. 92\u2013106, (2010)","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"9413_CR16","doi-asserted-by":"crossref","unstructured":"Fu, J., Topcu, U.: Computational methods for stochastic control with metric interval temporal logic specifications. In: CDC, pp. 7440\u20137447, (2015)","DOI":"10.1109\/CDC.2015.7403395"},{"issue":"11","key":"9413_CR17","doi-asserted-by":"crossref","first-page":"3464","DOI":"10.1109\/TAC.2016.2518639","volume":"61","author":"J Fu","year":"2016","unstructured":"Fu, J., Topcu, U.: Synthesis of joint control and active sensing strategies under temporal logic constraints. IEEE Trans. Autom. Control 61(11), 3464\u20133476 (2016)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1\u20134","key":"9413_CR18","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10846-009-9383-1","volume":"57","author":"C Goerzen","year":"2010","unstructured":"Goerzen, C., Kong, Zhaodan, Mettler, Bernard: A survey of motion planning algorithms from the perspective of autonomous uav guidance. J. Intell. Robot. Syst. 57(1\u20134), 65\u2013100 (2010)","journal-title":"J. Intell. Robot. Syst."},{"key":"9413_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"Michael Huth","year":"2004","unstructured":"Huth, Michael, Ryan, Mark: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)"},{"key":"9413_CR20","doi-asserted-by":"crossref","unstructured":"Jha, S., Raman, V.: Automated synthesis of safe autonomous vehicle control under perception uncertainty. In: NASA Formal Methods, pp. 117\u2013132 (2016)","DOI":"10.1007\/978-3-319-40648-0_10"},{"key":"9413_CR21","doi-asserted-by":"crossref","unstructured":"Koutsoukos, X., Riley, D.: Computational methods for reachability analysis of stochastic hybrid systems. In: HSCC, pp. 377\u2013391. Springer, Berlin (2006)","DOI":"10.1007\/11730637_29"},{"key":"9413_CR22","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Prism: Probabilistic symbolic model checker. In: Computer Performance Evaluation: Modelling Techniques and Tools, pp. 200\u2013204. Springer, Berlin (2002)","DOI":"10.1007\/3-540-46029-2_13"},{"issue":"1\u20132","key":"9413_CR23","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.compchemeng.2007.05.009","volume":"32","author":"P Li","year":"2008","unstructured":"Li, P., Arellano-Garcia, H., Wozny, Gnter: Chance constrained programming approach to process optimization under uncertainty. Comput. Chem. Eng. 32(1\u20132), 25\u201345 (2008)","journal-title":"Comput. Chem. Eng."},{"issue":"2","key":"9413_CR24","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/TSM.2010.2096437","volume":"24","author":"Chris Mack","year":"2011","unstructured":"Mack, Chris, et al.: Fifty years of moore\u2019s law. IEEE Trans. Semicond. Manuf. 24(2), 202\u2013207 (2011)","journal-title":"IEEE Trans. Semicond. Manuf."},{"issue":"1","key":"9413_CR25","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MRA.2014.2301112","volume":"21","author":"P Martinet","year":"2014","unstructured":"Martinet, P., Laugier, C., Nunes, U.: Special issue on perception and navigation for autonomous vehicles. IEEE Robot. Autom. Mag. 21(1), 26\u201327 (2014)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"9413_CR26","doi-asserted-by":"crossref","first-page":"825","DOI":"10.3389\/fnhum.2014.00825","volume":"8","author":"DC Mathys","year":"2014","unstructured":"Mathys, D.C., et al.: Uncertainty in perception and the hierarchical Gaussian filter. Front. Hum. Neurosci. 8, 825 (2014)","journal-title":"Front. Hum. Neurosci."},{"key":"9413_CR27","doi-asserted-by":"crossref","unstructured":"McGee, T.G., Sengupta, R., Hedrick, K.: Obstacle detection for small autonomous aircraft using sky segmentation. In: ICRA 2005, pp. 4679\u20134684. IEEE (2005)","DOI":"10.1109\/ROBOT.2005.1570842"},{"issue":"6","key":"9413_CR28","doi-asserted-by":"crossref","first-page":"930","DOI":"10.1287\/opre.13.6.930","volume":"13","author":"Bruce L Miller","year":"1965","unstructured":"Miller, Bruce L., Wagner, Harvey M.: Chance constrained programming with joint constraints. Oper. Res. 13(6), 930\u2013945 (1965)","journal-title":"Oper. Res."},{"key":"9413_CR29","doi-asserted-by":"crossref","unstructured":"Mitchell, I., Tomlin, C.J.: Level set methods for computation in hybrid systems. In: International Workshop on Hybrid Systems: Computation and Control, pp. 310\u2013323. Springer, Berlin (2000)","DOI":"10.1007\/3-540-46430-1_27"},{"issue":"7","key":"9413_CR30","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1109\/TAC.2005.851439","volume":"50","author":"Ian M Mitchell","year":"2005","unstructured":"Mitchell, Ian M., Bayen, Alexandre M., Tomlin, Claire J.: A time-dependent Hamilton\u2013Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans. Autom Control 50(7), 947\u2013957 (2005)","journal-title":"IEEE Trans. Autom Control"},{"key":"9413_CR31","first-page":"1","volume":"1","author":"C Patchett","year":"2015","unstructured":"Patchett, C., Jump, M., Fisher, M.: Safety and certification of unmanned air systems. Eng. Technol. Ref. 1, 1 (2015)","journal-title":"Eng. Technol. Ref."},{"key":"9413_CR32","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Providence, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"8","key":"9413_CR33","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"Stephen Prajna","year":"2007","unstructured":"Prajna, Stephen, Jadbabaie, Ali, Pappas, George\u00a0J: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"9413_CR34","first-page":"107","volume":"24","author":"Maria Prandini","year":"2006","unstructured":"Prandini, Maria, Jianghai, Hu: Stochastic reachability: theory and numerical approximation. Stoch. Hybrid Syst. Autom. Control Eng. Ser. 24, 107\u2013138 (2006)","journal-title":"Stoch. Hybrid Syst. Autom. Control Eng. Ser."},{"key":"9413_CR35","volume-title":"Stochastic Programming","author":"Andr\u00e1s Pr\u00e9kopa","year":"2013","unstructured":"Pr\u00e9kopa, Andr\u00e1s: Stochastic Programming, vol. 324. Springer, Berlin (2013)"},{"key":"9413_CR36","doi-asserted-by":"crossref","unstructured":"Pshikhopov, V.K., Medvedev, M.Y., Gaiduk, A.R., Gurenko, B.V.: Control system design for autonomous underwater vehicle. In: 2013 Latin American Robotics Symposium and Competition (2013)","DOI":"10.1109\/LARS.2013.61"},{"key":"9413_CR37","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Maasoumy, M., Murray, R.M., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Model predictive control with signal temporal logic specifications. In CDC, pp. 81\u201387 (2014)","DOI":"10.1109\/CDC.2014.7039363"},{"key":"9413_CR38","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Sadigh, D., Murray, R.M., Seshia, S.A.: Reactive synthesis from signal temporal logic specifications. In: HSCC, pp. 239\u2013248 (2015)","DOI":"10.1145\/2728606.2728628"},{"key":"9413_CR39","volume-title":"Experience from the DARPA Urban Challenge","author":"Christopher Rouff","year":"2011","unstructured":"Rouff, Christopher, Hinchey, Mike: Experience from the DARPA Urban Challenge. Springer, Berlin (2011)"},{"key":"9413_CR40","doi-asserted-by":"crossref","unstructured":"Rushby, J.: New challenges in certification for aircraft software. In: EMSOFT, pp. 211\u2013218. ACM (2011)","DOI":"10.1145\/2038642.2038675"},{"key":"9413_CR41","doi-asserted-by":"crossref","unstructured":"Sadigh, D., Kapoor, A.: Safe control under uncertainty with probabilistic signal temporal logic. In: Robotics: Science and Systems XII, (2016)","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"9413_CR42","doi-asserted-by":"crossref","unstructured":"Summers, S., Kamgarpour, M., Lygeros, J., Tomlin, C.: A stochastic reach-avoid problem with random obstacles. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, pp. 251\u2013260. ACM (2011)","DOI":"10.1145\/1967701.1967738"},{"key":"9413_CR43","doi-asserted-by":"crossref","unstructured":"Sun, W., van\u00a0den Berg, J., Alterovitz, R.: Stochastic Extended LQR: Optimization-Based Motion Planning Under Uncertainty, pp. 609\u2013626. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-16595-0_35"},{"key":"9413_CR44","doi-asserted-by":"crossref","unstructured":"Svorenova, M., Kret\u00ednsk\u00fd, J., Chmelik, M., Chatterjee, K., Cern\u00e1, I., Belta, C.: Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games. In: HSCC, pp. 259\u2013268 (2015)","DOI":"10.1145\/2728606.2728608"},{"key":"9413_CR45","doi-asserted-by":"crossref","unstructured":"Todorov, E., Li, W.: A generalized iterative LQG method for locally-optimal feedback control of constrained nonlinear stochastic systems. In: American Control Conference, 2005. Proceedings of the 2005, vol. 1, pp. 300\u2013306. IEEE (2005)","DOI":"10.1109\/ACC.2005.1469949"},{"key":"9413_CR46","unstructured":"Vitus, M.: Stochastic Control Via Chance Constrained Optimization and its Application to Unmanned Aerial Vehicles. PhD thesis, Stanford University, (2012)"},{"key":"9413_CR47","doi-asserted-by":"crossref","unstructured":"Vitus, M.P., Tomlin, C.J.: Closed-loop belief space planning for linear, Gaussian systems. In: ICRA, pp. 2152\u20132159. IEEE (2011)","DOI":"10.1109\/ICRA.2011.5980257"},{"key":"9413_CR48","doi-asserted-by":"crossref","unstructured":"Vitus, M.P., Tomlin, C.J.: A hybrid method for chance constrained control in uncertain environments. In: CDC, pp. 2177\u20132182 (2012)","DOI":"10.1109\/CDC.2012.6426684"},{"key":"9413_CR49","doi-asserted-by":"crossref","unstructured":"Vitus, M.P., Tomlin, C.J.: A probabilistic approach to planning and control in autonomous urban driving. In: CDC, pp. 2459\u20132464 (2013)","DOI":"10.1109\/CDC.2013.6760249"},{"key":"9413_CR50","doi-asserted-by":"crossref","unstructured":"Xu, W., Pan, J., Wei, J., Dolan, J.M.: Motion planning under uncertainty for on-road autonomous driving. In: ICRA, pp. 2507\u20132512. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6907209"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-017-9413-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-017-9413-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-017-9413-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T01:10:09Z","timestamp":1569373809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-017-9413-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,26]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["9413"],"URL":"https:\/\/doi.org\/10.1007\/s10817-017-9413-9","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,26]]}}}