( en | de | ru )

 

Disambiguierung von "Faella, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Efficient Exact Synthesis for Linear Hybrid Systems

, , und . GandALF, Volume 54 von EPTCS, Seite 263-277. (2011)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Generalized Agent-mediated Procurement Auctions., , , und . AAMAS, Seite 77-85. ACM, (2016)Automata-Theoretic Decision of Timed Games., , und . VMCAI, Volume 2294 von Lecture Notes in Computer Science, Seite 94-108. Springer, (2002)Admissible Strategies in Infinite Games over Graphs.. MFCS, Volume 5734 von Lecture Notes in Computer Science, Seite 307-318. Springer, (2009)Irrelevant matches in round-robin tournaments., und . Auton. Agents Multi Agent Syst., 35 (1): 5 (2021)Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes., , und . IJCAI, Seite 696-701. (2009)Rapidly Finding the Best Arm Using Variance., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2585-2591. IOS Press, (2020)Information Flow in Concurrent Games., und . ICALP, Volume 2719 von Lecture Notes in Computer Science, Seite 1038-1053. Springer, (2003)Model Checking Discounted Temporal Properties., , , , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 77-92. Springer, (2004)An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games., und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 108-120. Springer, (2007)ELEL with Default Attributes and Overriding., , und . ISWC (1), Volume 6496 von Lecture Notes in Computer Science, Seite 64-79. Springer, (2010)