Parallel Model Checking for Temporal Epistemic Logic.

Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu

Browse the full ECAI paper archive.