1 Repositories
Python LTUL-modelchecker Libraries
A model checker for verifying properties in epistemic models
Epistemic Model Checker This is a model checker for verifying properties in epistemic models. The goal of the model checker is to check for Pluralisti
2 Dec 22, 2021