release
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
release [2018/11/15 20:23] – [Related tools] liyong | release [2020/12/16 14:32] (current) – [ROLL v1.0 is available on GitHub] liyong | ||
---|---|---|---|
Line 12: | Line 12: | ||
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 education | + | * Interactive mode for educational |
* 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. | ||
- | * PAC-learning for Büchi automata based on Monte-Carlo word sampling (our improved version of [8]). | + | * PAC-learning for Büchi automata based on Monte-Carlo word sampling (our improved version |
* [[http:// | * [[http:// | ||
===== Build ROLL on Ubuntu ===== | ===== Build ROLL on Ubuntu ===== | ||
+ | You should have installed Java Development Kit on your system. | ||
+ | Currently we can successfully build ROLL with JDK 8.0. | ||
==== Build with Network Connection ==== | ==== Build with Network Connection ==== | ||
Line 53: | Line 55: | ||
* Javacc plugin in Eclipse | * Javacc plugin in Eclipse | ||
* Maven Integration for Eclipse | * Maven Integration for Eclipse | ||
- | * [[https:// | + | * [[https:// |
+ | * [[https:// | ||
==== Set up ROLL in Eclipse ==== | ==== Set up ROLL in Eclipse ==== |
release.1542284599.txt.gz · Last modified: 2018/11/15 20:23 by liyong