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
-
A simple (support) ticket management system.
Updated -
Project work about neural networks.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated