Ran Chen, Wenhui Zhang. Checking Multi-Agent Systems Against Temporal-Epistemic Specifications. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 21-30, IEEE, 2019. [doi]
Abstract is missing.