Regular Omega Language Learning (ROLL)

User Tools

Site Tools

Trace:
start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
start [2020/12/16 14:57] – [New Features in ROLL v1.0] liyongstart [2020/12/16 14:58] – [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://iscasmc.ios.ac.cn/roll/jupyter|Jupyter notebook for ROLL]] (You can play ROLL online !!!).+  * [[https://iscasmc.ios.ac.cn/roll/jupyter|Jupyter notebook for ROLL]] (You can **play ROLL online** !!!).
   * 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].
start.txt · Last modified: 2020/12/16 15:03 by liyong