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

Jakub Michaliszyn, Piotr Witkowski

Browse the full IJCAI paper archive.