Statistical Model Checking for Probabilistic Temporal Epistemic Logics.

Yenda Ramesh, M. V. Panduranga Rao

Browse the full ICAART paper archive.