Checking Multi-Agent Systems Against Temporal-Epistemic Specifications.

Ran Chen, Wenhui Zhang

Browse the full ICECCS paper archive.