Autor der Publikation

Round- and context-bounded control of dynamic pushdown systems.

, , und . Formal Methods Syst. Des., 62 (1): 41-78 (Juni 2024)

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

Round- and context-bounded control of dynamic pushdown systems., , und . Formal Methods Syst. Des., 62 (1): 41-78 (Juni 2024)Parameterized Synthesis for Fragments of First-Order Logic Over Data Words., , , und . FoSSaCS, Volume 12077 von Lecture Notes in Computer Science, Seite 97-118. Springer, (2020)Symbolic Solution of Emerson-Lei Games for Reactive Synthesis., , und . FoSSaCS (1), Volume 14574 von Lecture Notes in Computer Science, Seite 55-78. Springer, (2024)Synthesis for parameterized systems. (Synthèse pour les systèmes paramétrés).. Sorbonne University, Paris, France, (2020)Synthesis for Prefix First-Order Logic on Data Words., und . FORTE, Volume 14678 von Lecture Notes in Computer Science, Seite 82-98. Springer, (2024)