( en | de | ru )

 

Disambiguation of "Duggirala, Parasara Sridhar"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

, , , , , , , , , , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)

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.

Sridhar Vempati

Sridhar Boppana

Srinivasan Sridhar

Sridhar Adapa

Sridhar Sreeramulu

 

Other publications of authors with the same name

NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks., and . L4DC, volume 120 of Proceedings of Machine Learning Research, page 697. PMLR, (2020)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT., , and . ACC, page 1823-1829. IEEE, (2020)Dynamic Selection of Perception Models for Robotic Control., , , , and . CoRR, (2022)BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs., , and . CoRR, (2023)Dynamic analysis of Cyber-Physical Systems. University of Illinois Urbana-Champaign, USA, (2015)Analyzing Real Time Linear Control Systems Using Software Verification., and . RTSS, page 216-226. IEEE Computer Society, (2015)On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems., and . ADHS, volume 51 of IFAC-PapersOnLine, page 139-144. Elsevier, (2018)Formalizing traffic rules for uncontrolled intersections., and . ICCPS, page 41-50. IEEE, (2020)Rigorous Simulation-Based Analysis of Linear Hybrid Systems., and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 555-572. (2017)