( en | de | ru )

 

Disambiguierung von "Majumdar, Rupak"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A theory of robust software synthesis

, , und . CoRR, (2011)

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.

Rupak Majumdar

Rupak Khadka

Sudipta Majumdar

Amitabha Majumdar

Marcus Majumdar

 

Weitere Publikationen von Autoren mit dem selben Namen

Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game., und . IEEE Trans. Autom. Control., 68 (1): 385-392 (2023)Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 40 (9): 1934-1946 (2021)The complexity of bidirected reachability in valence systems., , und . CoRR, (2021)Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness., , , , und . CoRR, (2022)Game Refinement Relations and Metrics., , , und . Log. Methods Comput. Sci., (2008)DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation., , und . ICONIP (5), Volume 1333 von Communications in Computer and Information Science, Seite 324-332. Springer, (2020)Symbolic controller synthesis for Büchi specifications on stochastic systems., , und . HSCC, Seite 14:1-14:11. ACM, (2020)Context-Bounded Verification of Context-Free Specifications., , , , und . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (Januar 2023)Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach., , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 389-406. Springer, (2018)From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems., , , und . ECRTS, Volume 133 von LIPIcs, Seite 9:1-9:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)