Autor der Publikation

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)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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 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)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)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)Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic., , , , und . CoRR, (2023)Parikh One-Counter Automata., , , und . MFCS, Volume 272 von LIPIcs, Seite 30:1-30:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)