Paper accepted at KR16

A. Lomuscio and J. Michaliszyn have their paper “Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions” accepted to the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR16)!