Unifying Hyper and Epistemic Temporal Logics.

Laura Bozzelli, Bastien Maubert, Sophie Pinchinat

Browse the full FOSSACS paper archive.