13 citations · 21 across the 9 of their papers we have counts for
1 paper · 2 filters
Moritz Hammer, Alexander Knapp, Stephan Merz
We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized Büchi automaton for the negation of the formula and the empt…