User contributions for 103.24.77.56
Jump to navigation
Jump to search
6 August 2014
- 04:4404:44, 6 August 2014 diff hist +5 Linear temporal logic to Büchi automaton →Gerth et al. algorithm: During Step 2. LGBA construction, the label of each state are atomic propositions, thus in the statement a ⊆ {p ∈ ''P'' | ¬p ∉ ''Now''(q) } } , p should be also an atomic proposition. current