start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2017/04/27 17:02] – 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: | The command to run Buechic to learn the Büchi automaton given by aut.hoa is: | ||
< | < | ||
- | java -jar buechic.jar aut.hoa | + | java -jar buechic.jar aut.hoa -table -periodic |
</ | </ | ||
Line 47: | Line 47: | ||
lazy equivalence check optimization as follows. | lazy equivalence check optimization as follows. | ||
< | < | ||
- | java -jar buechic.jar aut.hoa | + | java -jar buechic.jar aut.hoa |
</ | </ | ||
Line 133: | Line 133: | ||
---- | ---- | ||
- | ===== Büchi Automata and Log Files ===== | + | ===== Log Files ===== |
We have compared Buechic with [[http:// | We have compared Buechic with [[http:// | ||
- | [[http:// | + | [[http:// |
- | 1. The Büchi Automata from BüchiStore can be found on their webpage. | + | 1. The Büchi Automata from BüchiStore can be found on their webpage |
* {{: | * {{: | ||
- | * {{ : | + | * {{ : |
- | * double complementation on BüchiStore of Buechic | + | * {{ : |
- | * double complementation on BüchiStore of GOAL | + | * double complementation on BüchiStore of GOAL: |
- | 2. The Büchi Automata from NCSB-complementation | + | * {{ : |
+ | * {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
+ | 2. The Büchi Automata from NCSB-complementation | ||
+ | * {{ : | ||
+ | * {{ : | ||
+ | * single complementation on NCSB-complementation of GOAL: | ||
+ | * {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
+ | * {{ : | ||
+ | |||
---- | ---- | ||
start.1493283739.txt.gz · Last modified: 2017/04/27 17:02 by wanderduck