Up a level |
Number of items: 2.
Murano, Aniello, Rubin, Sasha and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2020)
Optimal Strategies in Weighted Limit Games.
In: GandALF 2020.
Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2014)
A Resolution Prover for Coalition Logic.
In: 2nd International Workshop on Strategic Reasoning, Satellite workshop of ETAPS 2014.