378 citations · 576 across the 50 of their papers we have counts for
1 paper · 2 filters
Sara Bernardini, Fabio Fagnani, David E. Smith
We present a technique for automatically extracting mutual exclusion invariants from temporal planning instances. It first identifies a set of invariant templates by inspecting the…