11 citations · 38 across the 7 of their papers we have counts for
1 paper · 1 filter
George Karpenkov, David Monniaux, Philipp Wendler
We present a new algorithm for deriving numerical invariants that combines the precision of max-policy iteration with the flexibility and scalability of conventional Kleene iterati…