Skip to main content

Publications

  1. Thorpe, Adam; Ortiz, Kendric; and Oishi, Meeko M. K., “Learning Approximate Forward Reachable Sets Using Separating Kernels,” Proceedings of Machine Learning Research, 144:201-212, 2021.

  2. Karabag, Mustafa O.; Neary, Cyrus; and Topcu, Ufuk, "Smooth Convex Optimization using Sub-Zeroth-Order Oracles," Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 35, no. 5, AAAI-21 Technical Tracks 5 (2021).

  3. Watanabe, Kandai; Renninger, Nicholas; Sankaranarayanan, Sriram; and Lahijanian, Morteza, “Probabilistic Specification Learning for Planning with Safety Constraints,” Intelligent Robots and Systems (2021).

  4. Thorpe, Adam; Sivaramakrishnan, Vignesh; and Oishi, Meeko M.; “Approximate Stochastic Reachability for High Dimensional Systems,” Proceedings of the American Control Conference (2021).

  5. He, Binghan; Ghasemi, Mahsa; Topcu, Ufuk; and Sentis, Luis, “A Barrier Pair Method for Safe Human-Robot Shared Autonomy,” IEEE Conference on Decision and Control (2021).

  6. Byeon, Sooyung; Jin, W.; Sun, Dawei; and Hwang, Inseok, “Human-Automation Interaction for Assisting Novices to Emulate Experts by Inferring Task Objective Functions,” Proceedings of the 40th AIAA/IEEE Digital Avionics Systems Conference (2021).

  7. Byeon, Sooyung; Sun, Dawei; and Hwang, Inseok, “Skill-level-based Hybrid Shared Control for Human-Automation Systems,” Proceedings of 2021 IEEE International Conference on Systems (2021).

  8. Luster, Maya S; and Pitts, Brandon J., "A Preliminary Investigation into Learning Behaviors in Complex Environments for Human-in-the-Loop Cyber-Physical Systems,” Proceedings of the 65th Annual Meeting of the Human Factors and Ergonomics Society (2021).

  9. Thorpe, Adam; and Oishi, Meeko M. K. "Stochastic Optimal Control via Hilbert Space Embeddings of Distributions", IEEE Conference on Decision and Control (2021).

  10. Yoon, Hansol; and Sankaranarayanan, Sriram, “Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference,” International Conference on Robotics and Automation (2021).

  11. Ghasemi, Mahsa; Scope Crafts, Evan; Zhao, Bo; and Topcu, Ufuk, “Multiple Plans are Better than One: Diverse Stochastic Planning,” International Conference on Automated Planning and Scheduling (2021).

  12. Thorpe, Adam; Ortiz, Kendric; and Oishi, Meeko M. K., "Data-Driven Stochastic Reachability Using Hilbert Space Embeddings", Automatica (2021).

  13. Thorpe, Adam; Ortiz, Kendric; and Oishi, Meeko M. K. “SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions,” IEEE Conference on Decision and Control 2021 (to appear).

  14. Chou, Yi and Yoon, Hansol and Sankaranarayanan, Sriram, “Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis,” 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), doi:https://doi.org/10.1109/IROS45743.2020.9340755.

  15. Sankaranarayanan, Sriram, “Reachability Analysis Using Message Passing over Tree Decompositions,” 2020 International Conference on Computer Aided Verification, doi:https://doi.org/10.1007/978-3-030-53288-8_30.

  16. Sivaramakrishnan, Vignesh; and Oishi, Meeko M. K., “Fast, Convexified Stochastic Optimal Open-Loop Control for Linear Systems Using Empirical Characteristic Functions,” IEEE Control Systems Letters, Vol. 4, June 1, 2020, pages: 1048-1053, doi:https://doi.org/10.1109/LCSYS.2020.2998857.

  17. Sankaranarayanan, Sriram; Chou, Yi; Goubault, Eric; and Putot, Sylvie, “Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms,” Advances in Neural Information Processing System (2020).

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