GitHub repository: CarlosAguileraVentura/EpistemicModelChecker
Created: 2020-07-24T15:47:31Z
Description: A checker for evaluating epistemic formulas