On the (Un-)Decidability of Model Checking Resource-Bounded Agents.

Nils Bulling, Berndt Farwer

Browse the full ECAI paper archive.