Automatic Synthesis of Temporal Invariants
Sara Bernardini, David Edward Smith · 2015
We present a technique for automatically extracting temporal mutual exclusion invariants from PDDL2.2 planning instances. Our technique builds on other ap-proaches to invariant synthesis presented in the litera-ture, but departs from their limited focus on instanta-neous discrete actions by addressing temporal and nu-meric domains. To deal with time, we formulate invari-ance conditions that account for both the entire structure of the operators (including the conditions, rather than just the effects) and the possible interactions between operators.