( en | de | ru )

 

Disambiguation of "Sankaranarayanan, Sriram"

Author of the publication

copydeleteadd this publication to your clipboard
Safe Robot Learning in Assistive Devices through Neural Network Repair.

, , , , , , and . CoRL, volume 205 of Proceedings of Machine Learning Research, page 2148-2158. PMLR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sundararajan Sankaranarayanan

Sriram Rallabhandi

Sriram Varadarajan

Sriram Subramanian

Sriram Ayyaswamy

 

Other publications of authors with the same name

Quantitative estimation of side-channel leaks with neural networks., , , and . Int. J. Softw. Tools Technol. Transf., 23 (4): 641-654 (2021)Probabilistic Temporal Logic Falsification of Cyber-Physical Systems., , , , and . ACM Trans. Embed. Comput. Syst., 12 (2s): 95:1-95:30 (2013)Local Repair of Neural Networks Using Optimization., , , , and . CoRR, (2021)Cooperative Security Against Interdependent Risks., and . CoRR, (2022)Mixed-integer bilevel representability., , and . Math. Program., 185 (1-2): 163-197 (2021)Sensitivity and covariance in stochastic complementarity problems with an application to North American natural gas markets., , and . Eur. J. Oper. Res., 268 (1): 25-36 (2018)Temporal Logic-Based Intent Monitoring for Mobile Robots., and . IROS, page 8643-8650. (2023)Towards Space-Efficient Linear Relations Analysis, and . (2005)Draft available by request.Petri Net Analysis Using Invariant Generation., , and . Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 682-701. Springer, (2003)Program Analysis Using Symbolic Ranges., , and . SAS, volume 4634 of Lecture Notes in Computer Science, page 366-383. Springer, (2007)