Strong cyclic planning revisited

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1809, Issue , 2000, Pages 35-48

  Daniele, Marco ^a,b   Traverso, Paolo ^a   Vardi, Moshe Y ^c  

^a ITC IRST   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS;

DETERMINISTIC DOMAINS; INFORMAL REQUIREMENTS; ITERATIVE TRIAL AND ERROR; MODEL-CHECKING TECHNIQUES; PLANNING ALGORITHMS; PLANNING DOMAINS; VIA MODELING;

MODEL CHECKING;

EID: 84943259132     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/10720246_3     Document Type: Conference Paper

References (27)

1. E.Asarin, O.Maler, and A.Pnueli.Symbolic controller synthesis for discrete and timed systems.In Hybrid System II, volume 999 of LNCS.Springer Verlag, 1995.
2. F.Bacchus and F.Kabanza.Using temporal logic to express search control kno-wledge for planning.Artificial Intelligence, 1998.Submitted for pubblication.
3. R.E.Bryant.Graph-Based Algorithms for Boolean Function Manipulation.IEEE Transactions on Computers, C-35(8):677-691, August 1986.
4. A.Cesta, P.Riccucci, M.Daniele, P.Traverso, E.Giunchiglia, M.Piaggio, and M.Shaerf.Jerry: A system for the automatic generation and execution of plans for robotic devices-the case study of the Spider arm.In Proc.of ISAIRAS-99, 1999.
5. X.J.Chen and G.de Giacomo.Reasoning about nondeterministic and concurrent actions: A process algebra approach.Artificial Intelligence, 107(1):29-62, 1999.
6. A.Cimatti, E.Clarke, F.Giunchiglia, and M.Roveri.NuSmv: A reimplementation of smv.Technical Report 9801-06, IRST, Trento, Italy, January 1998.
7. A.Cimatti, E.Giunchiglia, F.Giunchiglia, and P.Traverso.Planning via Model Checking: A Decision Procedure for AR.In ECP97, pages 130-142, 1997.
8. A.Cimatti and M.Roveri.Conformant Planning via Model Checking.In Proc.of ECP99, 1999.
9. A.Cimatti, M.Roveri, and P.Traverso.Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains.In Proc.of AAAI98, 1998.
10. A.Cimatti, M.Roveri, and P.Traverso.Strong Planning in Non-Deterministic Domains via Model Checking.In Proc.of AIPS98, 1998.
11. M.Daniele, P.Traverso, and M.Y.Vardi.Strong Cyclic Planning Revisited.Technical Report 9908-03, IRST, Trento, Italy, August 1999.
12. G.de Giacomo and M.Y.Vardi.Automata-theoretic approach to planning with temporally extended goals.In Proc.of ECP99, 1999.
13. T.Dean, L.Kaelbling, J.Kirman, and A.Nicholson.Planning Under Time Con-straints in Stochastic Domains.Artificial Intelligence, 76(1-2):35-74, 1995.
14. E.A.Emerson.Temporal and modal logic.In J.van Leeuwen, editor, Hand-book of Theoretical Computer Science, Volume B: Formal Models and Semantics, chapter 16, pages 995-1072.Elsevier, 1990.
15. M.Ernst, T.Millstein, and D.Weld.Automatic SAT-compilation of planning problems.In Proc.of IJCAI-97, 1997.
16. R.E.Fikes and N.J.Nilsson.STRIPS: A new approach to the application of Theorem Proving to Problem Solving.Artificial Intelligence, 2(3-4):189-208, 1971.
17. E.Giunchiglia, G.N.Kartha, and V.Lifschitz.Representing action: Indeterminacy and ramifications.Artificial Intelligence, 95(2):409-438, 1997.
18. F.Giunchiglia and P.Traverso.Planning as Model Checking.In Proc.of ECP99, 1999.
19. R.Goldman, D.Musliner, K.Krebsbach, and M.Boddy.Dynamic Abstraction Planning.In Proc.of AAAI97, 1998.
20. O.Kupferman and M.Y.Vardi.Synthesis with incomplete information.In Proc.of 2nd International Conference on Temporal Logic, pages 91-106, 1997.
21. J.Penberthy and D.Weld.UCPOP: A sound, complete, partial order planner for ADL.In Proc.of KR-92, 1992.
22. M.J.Schoppers.Universal plans for Reactive Robots in Unpredictable Environ-ments.In Proc.of IJCAI87, pages 1039-1046, 1987.
23. D.Smith and D.Weld.Conformant Graphplan.In AAAI98, pages 889-896.
24. S.Steel.Action under Uncertainty.J.of Logic and Computation, Special Issue on Action and Processes, 4(5):777-795, 1994.
25. W.Stephan and S.Biundo.A New Logical Framework for Deductive Planning.In Proc.of IJCAI93, pages 32-38, 1993.
26. M Y.Vardi and P.Wolper.Reasoning about in-nite computations.Information and Computation, 115(1):1-37, 15 November 1994.
27. D.Weld, C.Anderson, and D.Smith.Extending Graphplan to Handle Uncertainty and Sensing Actions.In Proc.of AAAI98, pages 897-904, 1998.