/weighted_lstar

implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019

Primary LanguagePython

No issues in this repository yet.