C

Causal Model Checker

Project information

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

Created on

December 22, 2025

Loading