Automatic Synthesis of Temporal Invariants

@inproceedings{Bernardini2011AutomaticSO,
  title={Automatic Synthesis of Temporal Invariants},
  author={Sara Bernardini and David E. Smith},
  booktitle={SARA},
  year={2011}
}
We present a technique for automatically extracting temporal mutual exclusion invariants from PDDL2.2 planning instances. Our technique builds on other approaches to invariant synthesis presented in the literature, but departs from their limited focus on instantaneous discrete actions by addressing temporal and numeric domains. To deal with time, we formulate invariance conditions that account for both the entire structure of the operators (including the conditions, rather than just the effects… CONTINUE READING

Similar Papers

Loading similar papers…