( en | de | ru )

 

Disambiguierung von "Alur, Rajeev"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust stability of multi-hop control networks.

, , , , und . CDC, Seite 2210-2215. IEEE, (2009)

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.

Rajeev Sudra

Naresh Kumar Aluri

Rajeev Gangula

Bhaskar Reddy Aluri

Sirisha Aluri

 

Weitere Publikationen von Autoren mit dem selben Namen

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems., , , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 209-229. Springer, (1992)How Can Automatic Feedback Help Students Construct Automata?, , , , , und . ACM Trans. Comput. Hum. Interact., 22 (2): 9:1-9:24 (2015)Adding nesting structure to words, und . Journal of the ACM, 56 (3): 16:1--16:43 (2009)NetEgg: A Scenario-Based Programming Toolkit for SDN Policies., , , , , , und . IEEE/ACM Trans. Netw., 26 (5): 2104-2117 (2018)Specification-Guided Learning of Nash Equilibria with High Social Welfare., , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 343-363. Springer, (2022)REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency., , , , , und . MEMOCODE, Seite 1-12. IEEE, (2020)Policy Synthesis and Reinforcement Learning for Discounted LTL., , , , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 415-435. Springer, (2023)Trends and Challenges in Algorithmic Software Verification.. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 245-250. Springer, (2005)Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination., , , , und . World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 212-232. Springer, (1999)Model Checking on Trees with Path Equivalences., , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 664-678. Springer, (2007)