Differences

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

--- start [2017/04/27 17:04] – wanderduck
+++ start [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:
 <code>
-java -jar buechic.jar aut.hoa -aut -table -periodic
+java -jar buechic.jar aut.hoa -table -periodic
 </code>
@@ Line 47: / Line 47: @@
 lazy equivalence check optimization as follows.
 <code>
-java -jar buechic.jar aut.hoa -aut  -table -periodic -lazyeq
+java -jar buechic.jar aut.hoa  -table -periodic -lazyeq
 </code>
@@ Line 133: / Line 133: @@
 ----
-===== Büchi Automata and Log Files =====
+===== Log Files =====
 We have compared Buechic with [[http://goal.im.ntu.edu.tw/wiki/doku.php|GOAL]] on the automata from
-[[http://buchi.im.ntu.edu.tw/|BüchiStore]] and [[https://github.com/xblahoud/NCSB-Complementation|NCSB-complementation]]. Following you can download the logs files of the experiments.
+[[http://buchi.im.ntu.edu.tw/|BüchiStore]] and [[https://github.com/xblahoud/NCSB-Complementation|NCSB-complementation]]. In the following, you can download the logs files of the experiments.
 . The Büchi Automata from BüchiStore can be found on their webpage and the log files are listed as below.
@@ Line 142: / Line 142: @@
   * {{ :goal-buchistore-single.zip | single complementation on BüchiStore of GOAL}}
   * {{ :buechic-buchistore-double.zip | double complementation on BüchiStore of Buechic}}
-  * double complementation on BüchiStore of GOAL
+  * double complementation on BüchiStore of GOAL:
-. The Büchi Automata from NCSB-complementation can be downloaded below.
+     * {{ :goal-piterman-double.zip |Piterman}}
+     * {{ :goal-ramsey-double.zip |Ramsey}}
+     * {{ :goal-rank-double.zip |Rank}}
+     * {{ :goal-slice-double.zip |Slice}}
+. The Büchi Automata from NCSB-complementation and the log files are listed as below.
+  * {{ :ncsb-automata.zip |NCSB automata in HOA format}}
+  * {{ :buechic-ncsb.zip |single complementation on NCSB-complementation of Buechic}}
+  * single complementation on NCSB-complementation of GOAL:
+     * {{ :goal-ncsb.zip |NCSB}}
+     * {{ :goal-piterman.zip |Piterman}}
+     * {{ :goal-ramsey.zip |Ramsey}}
+     * {{ :goal-rank.zip |Rank}}
+     * {{ :goal-slice.zip |Slice}}
 ----