1. A logic for coalitions with bounded resources;Alechina,2009
2. On the (un-)decidability of model checking resource-bounded agents;Bulling,2010
3. Resource-bounded alternating-time temporal logic;Alechina,2010
4. Model checking coalitional games in shortage resource scenarios;Della Monica,2013
5. How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract);Bulling,2013