( en | de | ru )

 

Disambiguierung von "Duggirala, Parasara Sridhar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safety and progress proofs for a reactive planner and controller for autonomous driving.

, , und . CoRR, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sridhar Vempati

Sridhar Boppana

Srinivasan Sridhar

Sridhar Arumugam

Sridhar Sreeramulu

 

Weitere Publikationen von Autoren mit dem selben Namen

Extracting counterexamples induced by safety violation in linear hybrid systems., und . Autom., (2020)Formalizing traffic rules for uncontrolled intersections., und . ICCPS, Seite 41-50. IEEE, (2020)A formal framework for interfacing mixed-timing systems., , und . Integr., 46 (3): 255-264 (2013)Rigorous Simulation-Based Analysis of Linear Hybrid Systems., und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 555-572. (2017)On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems., und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 139-144. Elsevier, (2018)Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties., , , , , , und . RTCSA, Seite 11-20. IEEE, (2022)Aggregation Strategies in Reachable Set Computation of Hybrid Systems., und . ACM Trans. Embed. Comput. Syst., 18 (5s): 99:1-99:21 (2019)Safety verification for linear systems., und . EMSOFT, Seite 7:1-7:10. IEEE, (2013)NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation., , und . CoRR, (2022)Parsimonious, Simulation Based Verification of Linear Systems., und . CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 477-494. Springer, (2016)