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 [2018/11/16 15:13] – liyongstart [2018/11/16 15:38] – [New Features in ROLL v1.0] liyong
Line 26: Line 26:
   * 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]] (requires **websockets** to run correctly).   * [[https://iscasmc.ios.ac.cn/roll/jupyter|Jupyter notebook for ROLL]] (requires **websockets** to run correctly).
-  * Interactive mode for education purpose.+  * Interactive mode for educational purpose.
   * Büchi automata complementation based on learning [7].   * Büchi automata complementation based on learning [7].
   * Büchi automata inclusion testing based on word sampling and learning.   * Büchi automata inclusion testing based on word sampling and learning.
start.txt · Last modified: 2020/12/16 15:03 by liyong