( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Unbounded-Time Safety Verification of Stochastic Differential Dynamics.

, , , , и . CAV (2), том 12225 из Lecture Notes in Computer Science, стр. 327-348. Springer, (2020)

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

 

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

Reachability Analysis Using Message Passing over Tree Decompositions.. CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 604-628. Springer, (2020)Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs., , , , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 349-367. Springer, (2019)Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo., , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 27-47. Springer, (2019)Learning Control Lyapunov Functions from Counterexamples and Demonstrations., и . CoRR, (2018)Semantic Reduction of Thread Interleavings in Concurrent Programs., , и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 124-138. Springer, (2009)Stability and stabilization of polynomial dynamical systems using Bernstein polynomials., и . HSCC, стр. 291-292. ACM, (2015)QUIC Graphs: Relational Invariant Generation for Containers., , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 401-425. Springer, (2013)Deductive Proofs of Almost Sure Persistence and Recurrence Properties., , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 260-279. Springer, (2016)The Flow-Insensitive Precision of Andersen's Analysis in Practice., , , и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 60-76. Springer, (2011)Automatic abstraction of non-linear systems using change of bases transformations.. HSCC, стр. 143-152. ACM, (2011)