release
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
release [2019/01/08 11:23] – [Prerequisites] liyong | release [2020/12/16 14:32] (current) – [ROLL v1.0 is available on GitHub] liyong | ||
---|---|---|---|
Line 16: | Line 16: | ||
* 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:// | ||
release.txt · Last modified: 2020/12/16 14:32 by liyong