Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics.

Rodica Bozianu, Catalin Dima, Constantin Enea

Browse the full TARK paper archive.