Last released Dec 11, 2023
A package for learning LTL formulas from a sample consisting of traces partitioned into positive and negative
Supported by