Bulling, Nils

4 publications

IJCAI 2015 On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

IJCAI 2011 Alternating Epistemic Mu-Calculus Nils Bulling, Wojciech Jamroga

IJCAI 2011 Comparing Variants of Strategic Ability Wojciech Jamroga, Nils Bulling

IJCAI 2011 Verifying Normative Behaviour via Normative Mechanism Design Nils Bulling, Mehdi Dastani