( en | de | ru )

 

Disambiguierung von "Raha, Ritam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.

, , , 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.

Sanghamitra Raha

Udit Raha

Harrina Erlianti Rahardjo

The role of vasoactive endogenous peptides in the control of the smooth musculature of the human vagina: an in vitro study. MedH Hannover, (2009)

Mohsen Rahal

Sandra Rahal

 

Weitere Publikationen von Autoren mit dem selben Namen

Learning and verifying temporal specifications for cyber-physical systems. University of Antwerp, Belgium, (2023)Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic., , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 263-280. Springer, (2022)Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic., , , und . J. Open Source Softw., 9 (93): 5052 (Januar 2024)Revisiting Parameter Synthesis for One-Counter Automata., und . CSL, Volume 216 von LIPIcs, Seite 33:1-33:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic., , , , und . VMCAI (2), Volume 14500 von Lecture Notes in Computer Science, Seite 264-288. Springer, (2024)Revisiting Synthesis for One-Counter Automata., und . CoRR, (2020)Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic., , , und . CoRR, (2021)Reachability games with relaxed energy constraints., , und . Inf. Comput., 285 (Part): 104806 (2022)A Framework for the Competitive Analysis of Model Predictive Controllers., , , , , und . RP, Volume 14235 von Lecture Notes in Computer Science, Seite 141-154. Springer, (2023)Reachability Games with Relaxed Energy Constraints., , und . GandALF, Volume 305 von EPTCS, Seite 17-33. (2019)