Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Sat Mar 16 08:48:32 2024 GMT.