Planning via Model Checking: A Decision Procedure for AR

@inproceedings{Cimatti1997PlanningVM,
  title={Planning via Model Checking: A Decision Procedure for AR},
  author={Alessandro Cimatti and Fausto Giunchiglia and Enrico Giunchiglia and Paolo Traverso},
  booktitle={ECP},
  year={1997}
}
Abs t rac t . In this paper we propose a new approach to planning based on a "high level action language", called .A:~, and "model checking". .AT~ is art expressive formalism which is able to handle, among other things, ramifications and non-deterministic effects. We define a decision procedure for planning in JlT~ which is based on "symbolic model checking", a technique which has been successfully appfied in hardware and software verification. The decision procedure always terminates with a n… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 118 CITATIONS, ESTIMATED 22% COVERAGE

Model Checking Software

  • Lecture Notes in Computer Science
  • 2002
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Mapping Temporal Planning Constraints into Timed Automata

VIEW 14 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Abstraction in Planning via Model Checking

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Heuristic Planning for PDDL+ Domains

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A logic-based agent that plans for extended reachability goals

  • Autonomous Agents and Multi-Agent Systems
  • 2008
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

NUSMV: a new symbolic model checker

  • International Journal on Software Tools for Technology Transfer
  • 2000
VIEW 14 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A case study of planning for smart factories

  • International Journal on Software Tools for Technology Transfer
  • 2018
VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

1998
2018

CITATION STATISTICS

  • 9 Highly Influenced Citations

  • Averaged 4 Citations per year over the last 3 years

  • 20% Increase in citations per year in 2018 over 2017

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

Model checking

E. Clarke, O. Grunberg, D. Long
  • In Proc. of the International Summer School on Deductive Program Design, Marktoberdorf,
  • 1994
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Constructing Action Graphs for Planning

Malik Ghallab
  • 1995

Efficient memory bounded search algorithms

Stuart Russel.
  • 1992

Features and fluents : A systematic approach to the representation of knowledge about dynamical systems

Erik Sandewall
  • 1992

Similar Papers

Loading similar papers…