Planning as Model Checking

By Fausto Giunchiglia, Paolo Traverso. 1999

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Citations in the corpus

Explainable Planning (2017, methodology): “Indeed, in the planning-as-modelchecking paradigm [Giunchiglia and Traverso, 1999], a planning problem is cast as a verification problem, where the safety property to be verified is set as the negation of the goal of the planning problem.”
NUSMV: a new symbolic model checker (2000, background): “18 See [37] for an introduction and a survey of planning as model checking.”
Temporal logic motion planning for dynamic robots (2009, background): “[5], [ 6 ] that are based on model checking [7] seem to be a more natural choice.”
Planning with Incomplete Information as Heuristic Search in Belief Space (2000, methodology): “Breadth-(cid:12)rst search in belief space is the strategy used by the planners based on model-checking techniques (Cimatti & Roveri 1999; Giunchiglia & Traverso 1999).”
Automated Composition of Semantic Web Services into Executable Processes (2004, unknown): “We can thus exploit the “Planning as Model Checking” approach based on symbolic model checking techniques [14, 9, 6, 11, 4], which has been shown to provide a practical solution to the problem of planning with nondeterministic actions, partial observability, and complex goals, and which has been sho”
Web Service Composition - Current Solutions and Open Problems (2003, methodology): “Many areas of planning could become relevant in the future: the area of distributed planning (DesJardins et al. 1999), planning as model checking (Giunchiglia & Traverso 1999), or approaches that are between planning and the problem of synthesizing controllers (Barbeau, Kabanza, & St-Denis 1998),…”
Weak, strong, and strong cyclic planning via symbolic model checking (2003, background): “The idea of Planning via (Symbolic) Model Checking has been first introduced in [19] (see also [35] for an introduction).”
Automated Planning and Acting (2016, background): “The idea of planning as model checking was first introduced in [117, 236].”