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.

Fork of https://src.koda.cnrs.fr/tiago.de.lima/cmc/-/releases/0.1.0.0

A Vue project to visualize the weights and the process of training a Spiking Neural Network Training