User Tools

Site Tools


usage

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
usage [2018/11/14 16:09] – [Lazy Equivalence Check] liyongusage [2018/11/15 20:21] (current) – [Lazy Equivalence Check] liyong
Line 105: Line 105:
  
 If you want to reuse the counterexample returned by the teacher as much as possible, you can use the If you want to reuse the counterexample returned by the teacher as much as possible, you can use the
-lazy equivalence check optimization as follows (NOT TESTED).+lazy equivalence check optimization as follows (NOT FULLY TESTED).
 This option is **not encouraged** since it may result in larger output automaton. This option is **not encouraged** since it may result in larger output automaton.
 <code> <code>
Line 114: Line 114:
  
 When receiving a counterexample, the learner has to find a valid suffix of the counterexample as a new experiment in order to identify more states in the target automaton. When receiving a counterexample, the learner has to find a valid suffix of the counterexample as a new experiment in order to identify more states in the target automaton.
-By default, ROLL will use a linear search to find that suffix, but you can also choose to use binary search to do that by giving the option **-bs**+By default, ROLL will use a linear search to find that suffix, but you can also choose to use binary search to do that by giving the option **-bs** (NOT FULLY TESTED).
  
 ==== Verbose Log Level ==== ==== Verbose Log Level ====
usage.txt · Last modified: 2018/11/15 20:21 by liyong