( en | de | ru )

 

Disambiguierung von "Jamroga, Wojciech"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-Valued Verification of Strategic Ability.

, , und . AAMAS, Seite 1180-1189. ACM, (2016)

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.

Wojciech Jamroga

Wojciech Wojtyna

Wojciech Osinski

Wojciech Kowalczyk

Wojciech Derwich

 

Weitere Publikationen von Autoren mit dem selben Namen

On module checking and strategies., und . AAMAS, Seite 701-708. IFAAMAS/ACM, (2014)Fixpoint Approximation of Strategic Abilities under Imperfect Information., , und . AAMAS, Seite 1241-1249. ACM, (2017)Fairness in Non-Repudiation Protocols., , und . STM, Volume 7170 von Lecture Notes in Computer Science, Seite 122-139. Springer, (2011)Multi-Valued Verification of Strategic Ability., , , und . CoRR, (2023)A Deliberation Procedure for Judgment Aggregation Problems., und . CoRR, (2016)Synthesis and Verification of Uniform Strategies for Multi-agent Systems., , und . CLIMA, Volume 8624 von Lecture Notes in Computer Science, Seite 166-182. Springer, (2014)Risk-Limiting Tallies., , , und . E-VOTE-ID, Volume 11759 von Lecture Notes in Computer Science, Seite 183-199. Springer, (2019)Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them., , und . KR, Seite 368-378. (2021)Modular interpreted systems., und . AAMAS, Seite 131. IFAAMAS, (2007)Distance-based rules for weighted judgment aggregation., und . AAMAS, Seite 1405-1406. IFAAMAS, (2012)