Explore projects
-
It implements the model checker and example in the paper: Model Checking Causality. Tiago de Lima, and Emiliano Lorini. in Proc. of IJCAI 2024.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated