( en | de | ru )

 

Disambiguierung von "Perelli, Giuseppe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning About Strategies: On the Model-Checking Problem.

, , , und . ACM Trans. Comput. Log., 15 (4): 34:1-34:47 (2014)

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.

Giuseppe Olivato

Giuseppe Veltri

Giuseppe Amato

Giuseppe Valenza

Giuseppe Rossi

 

Weitere Publikationen von Autoren mit dem selben Namen

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic., , , und . CONCUR, Volume 7454 von Lecture Notes in Computer Science, Seite 193-208. Springer, (2012)Nash Equilibrium and Bisimulation Invariance., , , und . CoRR, (2018)Multi-Player Games with LDL Goals over Finite Traces., , und . CoRR, (2020)Automated temporal equilibrium analysis: Verification and synthesis of multi-player games., , , und . Artif. Intell., (2020)Reasoning About Quality and Fuzziness of Strategic Behaviours., , , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2887-2888. IOS Press, (2020)Solving Parity Games Using An Automata-Based Algorithm., , , und . CoRR, (2019)Behavioral QLTL., und . CoRR, (2021)Binding Forms in First-Order Logic., und . CSL, Volume 41 von LIPIcs, Seite 648-665. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Reconfigurable Interaction for MAS Modelling., , und . AAMAS, Seite 7-15. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Timed Trace Alignment with Metric Temporal Logic over Finite Traces., , , und . KR, Seite 227-236. (2021)