CONFORMANT PLANNING VIA MODEL CHECKING (1999)

Cached

Download Links

by A. Cimatti , M. Roveri
Citations:48 - 4 self

Active Bibliography

Povo (Trento), Italy Tel.: +39 0461 314312 Fax: +39 0461 302040 e-mail: prdoc@itc.it - url: http://www.itc.it CONFORMANT PLANNING VIA MODEL CHECKING Cimatti A., Roveri M. – August Limited Distribution, Scientifica E Tecnologica, Cimatti A, Roveri M, Istituto Trentino Di Cultura, Alessandro Cimatti, Marco Roveri
Centro Per La Ricerca Scientifica E Tecnologica – Povo Trento Italy, Scientifica E Tecnologica, Agostini A, De Jong D, Montagna F, Istituto Trentino Di Cultura, Alessandro Agostini, Itc-irst Trento, Dick De Jongh, Franco Montagna
120 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
Forward Conformant Planning . . . – Alessandro Cimatti, Marco Roveri
Centro Per La Ricerca – Scientifica Tecnologica Povo, Istituto Trentino Di Cultura, Paolo Busetta, Giordano Adami, Francesco Palmieri
54 MBP: a Model Based Planner – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso - 2001
30 Web Service Composition as AI Planning - a Survey – Joachim Peer - 2005
8 Task Decomposition on Abstract States, for Planning under Nondeterminism – Ugur Kuter , Dana Nau , Marco Pistore , Paolo Traverso - 2009
Automated Planning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Ro Cimatti, Marco Pistore, Paolo Traverso
53 OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains – Rune M. Jensen, Manuela M. Veloso - 2000
17 OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-Deterministic Domains – Rune M. Jensen, Manuela M. Veloso - 1999
24 Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains – Marco Pistore , Renato Bettin, Paolo Traverso - 2001
Incremental Contingency Planning – Richard Dearden Nicolas, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Rich Washington - 2003
203 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
81 A Logic Programming Approach to Knowledge-State Planning, II: The DLV System – Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres - 2001
42 Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning – Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri - 2001
31 STRONG CYCLIC PLANNING REVISITED – Marco Daniele, Paolo Traverso, Moshe Y. Vardi
14 Deterministic state space planning with BDDs – Stefan Edelkamp, Frank Re El - 1999
6 Heuristic search planning with BDDs – Stefan Edelkamp - 2000