( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).

, , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 146-163. Springer, (2012)

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.

Sriram Rallabhandi

Sundararajan Sankaranarayanan

Sriram Varadarajan

Sriram Subramanian

Sriram Ayyaswamy

 

Другие публикации лиц с тем же именем

Sensitivity and covariance in stochastic complementarity problems with an application to North American natural gas markets., , и . Eur. J. Oper. Res., 268 (1): 25-36 (2018)Quantitative estimation of side-channel leaks with neural networks., , , и . Int. J. Softw. Tools Technol. Transf., 23 (4): 641-654 (2021)Temporal Logic-Based Intent Monitoring for Mobile Robots., и . IROS, стр. 8643-8650. (2023)Symbolic-Numeric Reachability Analysis of Hybrid Systems.. SNR@CAV, том 37 из EPiC Series in Computing, стр. 1. EasyChair, (2015)Program analysis via satisfiability modulo path programs., , , и . POPL, стр. 71-82. ACM, (2010)Verified Path Following Using Neural Control Lyapunov Functions., , , и . CoRL, том 205 из Proceedings of Machine Learning Research, стр. 1949-1958. PMLR, (2022)Multiple shooting, CEGAR-based falsification for hybrid systems., , , и . EMSOFT, стр. 5:1-5:10. ACM, (2014)DC2: A framework for scalable, scope-bounded software verification., , , , , , , и . ASE, стр. 133-142. IEEE Computer Society, (2011)Sherlock - A tool for verification of neural network feedback systems: demo abstract., , , , и . HSCC, стр. 262-263. ACM, (2019)Formal Policy Learning from Demonstrations for Reachability Properties., , и . ICRA, стр. 6037-6043. IEEE, (2019)