5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…