Paper-Conference

Model Checking Temporal Epistemic Logic under Bounded Recall

Jan 1, 2020