complement
This is an old revision of the document!
Complementation
HOA: v1 tool: "ROLL" properties: explicit-labels state-acc trans-labels States: 2 Start: 0 acc-name: Buchi Acceptance: 1 Inf(0) AP: 1 "b" --BODY-- State: 0 [!0] 0 [0] 0 [0] 1 State: 1 {0} [0] 1 --END-
complement.1542004755.txt.gz · Last modified: 2018/11/12 14:39 by liyong