226 citations · 237 across the 3 of their papers we have counts for
1 paper · 1 filter
Viktor Schuppan
Unsatisfiable cores (UCs) are a well established means for debugging in a declarative setting. Still, there are few tools that perform automated extraction of UCs for LTL. Existing…