LearnCTL

Project information

The point of this tool is to learn a Computation Tree Logic (CTL) formula that separates a set of positive and negative Kripke structures, i.e. is verified by the former but not the latter. For more details, please read the companion article: http://arxiv.org/abs/2402.06366

c++ ctl automata

404 Commits
3 Branches
2 Tags

README

Created on

July 11, 2023

Copy SSH clone URLgit@gitlab.lre.epita.fr:adrien/learnctl.git
Copy HTTPS clone URLhttps://gitlab.lre.epita.fr/adrien/learnctl.git

Loading