Sriram Sankaranarayanan

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 93

Top Venues

Publications

Saeid Tizpaz-Niari, Sriram Sankaranarayanan
Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory. CoRR (2024)
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks. CoRR (2024)
Saeid Tizpaz-Niari, Sriram Sankaranarayanan
Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory. CAIN (2024)
Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan
Algorithms for Identifying Flagged and Guarded Linear Systems. HSCC (2024)
Guillaume O. Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis. HSCC (2024)
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees - Segmentation. HSCC (2024)
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation. CoRR (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. CoRR (2024)
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees: Robustness and Segmentation. HSCC (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. ICRA (2024)
Tian Xu, Emily Jost, Laurel H. Messer, Paul F. Cook, Gregory P. Forlenza, Sriram Sankaranarayanan, Casey Fiesler, Stephen Voida
"Obviously, Nothing's Gonna Happen in Five Minutes": How Adolescents and Young Adults Infrastructure Resources to Learn Type 1 Diabetes Management. CHI (2024)
Guillaume O. Berger, Sriram Sankaranarayanan
Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems. Autom. 155 (2023)
Emily Jensen, Bradley Hayes, Sriram Sankaranarayanan
More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill. HRI (Companion) (2023)
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. CoRR (2023)
Hansol Yoon, Sriram Sankaranarayanan
Temporal Logic-Based Intent Monitoring for Mobile Robots. IROS (2023)
Guillaume O. Berger, Sriram Sankaranarayanan
Template-Based Piecewise Affine Regression. L4DC (2023)
Guillaume O. Berger, Sriram Sankaranarayanan
Template-Based Piecewise Affine Regression. CoRR (2023)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. ICAPS (2023)
Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. CoRR (2023)
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRR (2023)
Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRL (2022)
Monal Narasimhamurthy, Sriram Sankaranarayanan
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC (2022)
Guillaume O. Berger, Sriram Sankaranarayanan
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. CoRR (2022)
Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, Sriram Sankaranarayanan
Mathematical Models of Human Drivers Using Artificial Risk Fields. CoRR (2022)
Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan
An Algorithm for Learning Switched Linear Dynamics from Data. NeurIPS (2022)
Xin Chen, Sriram Sankaranarayanan
Reachability Analysis for Cyber-Physical Systems: Are We There Yet? NFM (2022)
Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan, Chris Heckman
Verified Path Following Using Neural Control Lyapunov Functions. CoRL (2022)
Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, Sriram Sankaranarayanan
Mathematical Models of Human Drivers Using Artificial Risk Fields. ITSC (2022)
Guillaume O. Berger, Sriram Sankaranarayanan
Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems. CoRR (2022)
Monal Narasimhamurthy, Sriram Sankaranarayanan
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC (2022)
Guillaume O. Berger, Sriram Sankaranarayanan
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. CDC (2022)
Hansol Yoon, Sriram Sankaranarayanan
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference. ICRA (2021)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS (2021)
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
Probabilistic Specification Learning for Planning with Safety Constraints. IROS (2021)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static analysis of ReLU neural networks with tropical polyhedra. CoRR (2021)
Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan
Local Repair of Neural Networks Using Optimization. CoRR (2021)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Sriram Sankaranarayanan
Technical perspective: An elegant model for deriving equations. Commun. ACM 64 (7) (2021)
Hansol Yoon, Sriram Sankaranarayanan
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference. CoRR (2021)
Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. ITSC (2020)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) (2020)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
Weighted Transducers for Robustness Verification. CONCUR (2020)
Yi Chou, Hansol Yoon, Sriram Sankaranarayanan
Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis. IROS (2020)
Sriram Sankaranarayanan
Reachability Analysis Using Message Passing over Tree Decompositions. CAV (1) (2020)
Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. CoRR (2020)
Taisa Kushner, Sriram Sankaranarayanan, Marc D. Breton
Conformance verification for neural network models of glucose-insulin dynamics. HSCC (2020)
Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS (2020)
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
Formal Policy Learning from Demonstrations for Reachability Properties. ICRA (2019)
Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. ICAPS (2019)
Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC (2019)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Learning control lyapunov functions from counterexamples and demonstrations. Auton. Robots 43 (2) (2019)
Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan
Reachability analysis for neural feedback systems using regressive polynomial rule inference. HSCC (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV (2019)
Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. RV (2019)
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
Formal Policy Learning from Demonstrations for Reachability Properties. CoRR (2019)
Guohui Ding, Hadi Ravanbakhsh, Zhiyuan Liu, Sriram Sankaranarayanan, Lijun Chen
Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems. ACC (2019)
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR (2019)
Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover
Reaching Out Towards Fully Verified Autonomous Systems. RP (2019)
Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan
Verifying Conformance of Neural Network Models: Invited Paper. ICCAD (2019)
Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan
Template polyhedra and bilinear optimization. Formal Methods Syst. Des. 54 (1) (2019)
Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV (2019)
Yi Chou, Sriram Sankaranarayanan
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis. IJCAI (2019)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Feedforward Neural Networks. NFM (2018)
Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang
Mining framework usage graphs from app corpora. SANER (2018)
Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. CMSB (2018)
Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
Experience Report: Application of Falsification Methods on the UxAS System. NFM (2018)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Learning Control Lyapunov Functions from Counterexamples and Demonstrations. CoRR (2018)
Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan
Path-Following through Control Funnel Functions. IROS (2018)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS (2018)
Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan
A data-driven approach to artificial pancreas verification and synthesis. ICCPS (2018)
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Validating numerical semidefinite programming solvers for polynomial invariants. Formal Methods Syst. Des. 53 (2) (2018)
Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan
Path-Following through Control Funnel Functions. CoRR (2018)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. CoRR (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
Discriminating Traces with Time. CoRR (2017)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. Robotics: Science and Systems (2017)
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
Output Range Analysis for Deep Neural Networks. CoRR (2017)
Yi Chou, Xin Chen, Sriram Sankaranarayanan
A Study of Model-Order Reduction Techniques for Verification. NSV@CAV (2017)
Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi
Analyzing neighborhoods of falsifying traces in cyber-physical systems. ICCPS (2017)
Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan
Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek (2017)
Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario
Guest Editorial: Special issue on formal modeling and analysis of timed systems. Real Time Syst. 53 (3) (2017)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. SYNT@CAV (2017)
Sriram Sankaranarayanan, Mohamed Amin Ben Sassi
Template Polyhedra with a Twist. SAS (2017)
Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs
Model-based falsification of an artificial pancreas control system. SIGBED Rev. 14 (2) (2017)
Xin Chen, Sergio Mover, Sriram Sankaranarayanan
Compositional Relational Abstraction for Nonlinear Hybrid Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
Discriminating Traces with Time. TACAS (2) (2017)
Xin Chen, Sriram Sankaranarayanan
Model Predictive Real-Time Monitoring of Linear Systems. RTSS (2017)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS (2016)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Robust controller synthesis of switched systems using counterexample guided framework. EMSOFT (2016)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC (2016)
Xin Chen, Sriram Sankaranarayanan
Decomposed Reachability Analysis for Nonlinear Systems. RTSS (2016)
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA J. Math. Control. Inf. 33 (3) (2016)
Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan
Deductive Proofs of Almost Sure Persistence and Recurrence Properties. TACAS (2016)
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. SAS (2016)
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain
Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. 22 (4) (2015)
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
Beyond single shooting: Iterative approaches to falsification. ACC (2015)
Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. ICCAD (2015)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties. CoRR (2015)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems. CoRR (2015)
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
Current Challenges in the Verification of Hybrid Systems. CyPhy (2015)
Hadi Ravanbakhsh, Sriram Sankaranarayanan
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems. CDC (2015)

Sriram Sankaranarayanan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sriram Sankaranarayanan