Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions.

Alessio Lomuscio, Jakub Michaliszyn

Browse the full KR paper archive.