Model Checking Temporal Epistemic Logic under Bounded Recall.

Francesco Belardinelli, Alessio Lomuscio, Emily Yu

Browse the full AAAI paper archive.