( en | de | ru )

 

Disambiguierung von "Stasio, Antonio Di"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finite-trace and generalized-reactivity specifications in temporal synthesis.

, , , , und . Formal Methods Syst. Des., 61 (2): 139-163 (Dezember 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.

Maurizio Di Stasio

Regulation des Kpp2-Kpp6-MAPK-Moduls in Ustilago maydis durch Phosphatasen. Uni Marburg, (2009)

Giuseppe Antonio Di Marco

Tie Di

Chen Di

Di Zhou

 

Weitere Publikationen von Autoren mit dem selben Namen

A Game Theoretic Approach to Attack Graphs., , , , und . ICAART (1), Seite 347-354. SCITEPRESS, (2023)Synthesis with Mandatory Stop Actions., , , und . KR, Seite 237-246. (2021)Finite-trace and generalized-reactivity specifications in temporal synthesis., , , , und . Formal Methods Syst. Des., 61 (2): 139-163 (Dezember 2022)Compositional Safety LTL Synthesis., , , , , und . VSTTE, Volume 13800 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2022)A Smart Road Application: The A2 Mediterranean Highway Project in Italy., , , , und . AINA (3), Volume 227 von Lecture Notes in Networks and Systems, Seite 690-700. Springer, (2021)Explicit and Symbolic Approaches for Parity Games (Short Paper).. IPS/RiCeRcA/SPIRIT@AI*IA, Volume 3345 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Imperfect-Information Games and Generalized Planning., , , und . IJCAI, Seite 1037-1043. IJCAI/AAAI Press, (2016)Two-Stage Technique for LTLf Synthesis Under LTL Assumptions., , , und . KR, Seite 304-314. (2020)Solving Parity Games Using An Automata-Based Algorithm., , , und . CoRR, (2019)LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties., , , , , und . CoRR, (2023)