( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis.

, , и . IROS, стр. 2111-2118. IEEE, (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

 

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

Linear Invariant Generation Using Non-linear Constraint Solving., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 420-432. Springer, (2003)Robust controller synthesis of switched systems using counterexample guided framework., и . EMSOFT, стр. 8:1-8:10. ACM, (2016)SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement., , , , и . SAS, том 5079 из Lecture Notes in Computer Science, стр. 238-254. Springer, (2008)A learning-based algorithm to quickly compute good primal solutions for Stochastic Integer Programs., , , , и . CoRR, (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)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)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)Expectation Invariants for Probabilistic Program Loops as Fixed Points., и . SAS, том 8723 из Lecture Notes in Computer Science, стр. 85-100. Springer, (2014)