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 revisionPrevious revision
release [2019/01/08 11:23] – [Prerequisites] liyongrelease [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 [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