Nils Bulling

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

Alternating Epistemic Mu-Calculus

Comparing Variants of Strategic Ability

Verifying Normative Behaviour via Normative Mechanism Design