25 citations · 27 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 2 cited
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems
Nils Bulling, Hoang Nga Nguyen
It is well known that the verification of resource-constrained multiagent systems is undecidable in general. In many such settings, resources are private to agents. In this paper,…
cs.LO2013★ 25 cited
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)
Nils Bulling, Valentin Goranko
We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences…