TY  - RPRT
TI  - Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions
AU  - Alessio Lomuscio
AU  - Jakub Michaliszyn
PY  - 2015
UR  - https://arxiv.org/abs/1509.00608
ID  - 1509.00608
ER  -