/rti

Sicco Werver's implementation of an algorithm for learning real-time automata from labeled data.

Primary LanguageC++GNU General Public License v3.0GPL-3.0

No issues in this repository yet.