Compositional verification of multi-agent systems in temporal multi-epistemic logic
scientific article; zbMATH DE number 1784299