Model Checking Distributed Systems against Temporal-Epistemic Specifications.

Andreas Griesmayer, Alessio Lomuscio

Browse the full FORTE paper archive.