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 revision Previous revision
start [2020/12/16 15:00]
liyong [Active Automata Learning Background Knowledge]
start [2020/12/16 15:03] (current)
liyong [New Features in ROLL v1.0]
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.1608102039.txt.gz · Last modified: 2020/12/16 15:00 by liyong