Abdulaziz, Mohammad; Norrish, Michael; Gretton, Charles
A completeness threshold is required to guarantee the completeness of planning as satisﬁability, and bounded model checking of safety properties. We investigate completeness thresholds related to the diameter of the underlying transition system. A valid threshold,the diameter is the maximum element in the set of lengths of all shortest paths between pairs of states. The diameter is not calculated exactly in our setting, where the transition system is succinctly described using a...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.