Decidability of model checking multi-agent systems against a class of EHS specifications.

Alessio R. Lomuscio, Jakub Michaliszyn

Browse the full ECAI paper archive.