( en | de | ru )

 

Disambiguation of "Duggirala, Parasara Sridhar"

Author of the publication

copydeleteadd this publication to your clipboard
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems.

, and . ADHS, volume 51 of IFAC-PapersOnLine, page 139-144. Elsevier, (2018)

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 Arumugam

 

Other publications of authors with the same name

Verification of annotated models from executions., , and . EMSOFT, page 26:1-26:10. IEEE, (2013)When Can We Treat Trajectories as Points?, and . CCCG, page 340-345. (2018)Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization., , , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 253-258. Elsevier, (2021)Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract)., and . AAAI, page 13827-13828. AAAI Press, (2020)Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections., and . ICCPS, page 1-11. IEEE, (2022)Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems., , and . FORMATS, volume 12860 of Lecture Notes in Computer Science, page 50-66. Springer, (2021)Certifiable and Efficient Autonomous Cyber-Physical Systems Design., , , , and . VLSID, page 259-263. IEEE, (2024)Formalizing traffic rules for uncontrolled intersections., and . ICCPS, page 41-50. IEEE, (2020)On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems., and . ADHS, volume 51 of IFAC-PapersOnLine, page 139-144. Elsevier, (2018)Rigorous Simulation-Based Analysis of Linear Hybrid Systems., and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 555-572. (2017)