/ltl_learner

Project implementing Neider & Gavran's algorithm from their 2018 article. Supports human-readable input of traces

Primary LanguagePython

No issues in this repository yet.