1 citations · 1 across the 2 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…