start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2020/12/16 14:58] – [New Features in ROLL v1.0] liyong | start [2020/12/16 15:03] (current) – [New Features in ROLL v1.0] liyong | ||
---|---|---|---|
Line 25: | Line 25: | ||
Compared to its previous version, it now supports new features such as: | Compared to its previous version, it now supports new features such as: | ||
* Learning algorithm for limit-deterministic Büchi automata. | * Learning algorithm for limit-deterministic Büchi automata. | ||
- | * [[https:// | + | * [[https:// |
* Interactive mode for educational purpose. | * Interactive mode for educational purpose. | ||
* Büchi automata complementation based on learning [7]. | * Büchi automata complementation based on learning [7]. | ||
Line 64: | Line 64: | ||
- | [10] Yong Li, Yu-Fang Chen, Lijun Zhang, and Depeng Liu. "A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees." | + | [10] Yong Li, Yu-Fang Chen, Lijun Zhang, and Depeng Liu. "A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees." |
start.txt · Last modified: 2020/12/16 15:03 by liyong