Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL.

Catalin Dima

Browse the full TIME paper archive.