( en | de | ru )

 

Disambiguierung von "Duggirala, Parasara Sridhar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
When Can We Treat Trajectories as Points?

, und . CCCG, Seite 340-345. (2018)

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 Adapa

Sridhar Arumugam

 

Weitere Publikationen von Autoren mit dem selben Namen

Formalizing traffic rules for uncontrolled intersections., und . ICCPS, Seite 41-50. IEEE, (2020)On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems., und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 139-144. Elsevier, (2018)Rigorous Simulation-Based Analysis of Linear Hybrid Systems., und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 555-572. (2017)Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties., , , , , , und . RTCSA, Seite 11-20. IEEE, (2022)Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations., , , , , und . ICCPS, Seite 99-110. IEEE, (2024)NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks., und . L4DC, Volume 120 von Proceedings of Machine Learning Research, Seite 697. PMLR, (2020)Dynamic Selection of Perception Models for Robotic Control., , , , und . CoRR, (2022)BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs., , und . CoRR, (2023)Dynamic analysis of Cyber-Physical Systems. University of Illinois Urbana-Champaign, USA, (2015)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , und 3 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 32-54. EasyChair, (2021)