Skip to main content


  1. A. J. Thorpe, K. R. Ortiz, and M. M. K. Oishi, “State-Based Confidence Bounds for Data-Driven Stochastic Reachability Using Hilbert Space Embeddings”. arXiv, 2020, doi: 10.48550/ARXIV.2010.08036.

  2. A. J. Thorpe, V. Sivaramakrishnan, and M. M. K. Oishi, “Approximate Stochastic Reachability for High Dimensional Systems”. 2021 Proceedings of the American Control Conference, doi: 10.23919/ACC50511.2021.9483404.

  3. Y. Chou, H. Yoon and S. Sankaranarayanan, "Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis," 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020, pp. 2111-2118, doi: 10.1109/IROS45743.2020.9340755.

  4. Sankaranarayanan, S. (2020). “Reachability Analysis Using Message Passing over Tree Decompositions”. In: Lahiri, S., Wang, C. (eds) Computer Aided Verification. CAV 2020. Lecture Notes in Computer Science(), vol 12224. Springer, Cham, doi: 10.1007/978-3-030-53288-8_30.

  5. V. Sivaramakrishnan and M. M. K. Oishi, "Fast, Convexified Stochastic Optimal Open-Loop Control for Linear Systems Using Empirical Characteristic Functions," in IEEE Control Systems Letters, vol. 4, no. 4, pp. 1048-1053, Oct. 2020, doi: 10.1109/LCSYS.2020.2998857.

  6. Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François; Sankaranarayanan, Sriram; and Trivedi, Ashutosh, “Weighted Transducers for Robustness Verification,” Leibniz International Proceedings in Informatics (2020).