User Tools

Site Tools


start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
start [2020/12/16 15:00] – [Active Automata Learning Background Knowledge] liyongstart [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://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 with 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