Buechic (Büchi Complementation)

User Tools

Site Tools

Trace:
start

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
start [2017/04/27 17:51] – wanderduckstart [2017/04/29 00:32] (current) – wanderduck
Line 23: Line 23:
 The command to run Buechic to learn the Büchi automaton given by aut.hoa is: The command to run Buechic to learn the Büchi automaton given by aut.hoa is:
 <code> <code>
-java -jar buechic.jar aut.hoa -aut -table -periodic+java -jar buechic.jar aut.hoa -table -periodic
 </code> </code>
  
Line 47: Line 47:
 lazy equivalence check optimization as follows. lazy equivalence check optimization as follows.
 <code> <code>
-java -jar buechic.jar aut.hoa -aut  -table -periodic -lazyeq+java -jar buechic.jar aut.hoa  -table -periodic -lazyeq
 </code> </code>
  
start.1493286692.txt.gz · Last modified: 2017/04/27 17:51 by wanderduck