most citedModel Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

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,…