Publications
Filters: Author is Berndt Farwer [Clear All Filters]
"Verifying Properties of Coalitional Ability under Resource Bounds." In Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09), edited by Berndt Farwer. Los Angeles CA, USA, 2009. Download: Alechina++:09e.pdf (152.07 KB)