Implementation of Epistemic Operators for Model Checking Multi-agent Systems.

Marina Bagic Babac, Marijan Kunstic

Browse the full ICCCI paper archive.