User Tools

Site Tools


release

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
release [2019/01/08 11:23]
liyong [Prerequisites]
release [2020/12/16 14:32] (current)
liyong [ROLL v1.0 is available on GitHub]
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 ​[9] of [8]).
   *  [[http://​adl.github.io/​hoaf/​|Hanoi omega-automata format]]. ​   *  [[http://​adl.github.io/​hoaf/​|Hanoi omega-automata format]]. ​
  
release.txt · Last modified: 2020/12/16 14:32 by liyong