Download Links

by Marco Daniele , Paolo Traverso , Moshe Y. Vardi
Citations:30 - 9 self

Active Bibliography

Povo (Trento), Italy Tel.: +39 0461 314312 Fax: +39 0461 302040 e-mail: - url: 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
54 MBP: a Model Based Planner – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso - 2001
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
Automated Planning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Ro Cimatti, Marco Pistore, Paolo Traverso
Centro Per La Ricerca – Scientifica Tecnologica Povo, Istituto Trentino Di Cultura, Paolo Busetta, Giordano Adami, Francesco Palmieri
17 OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-Deterministic Domains – Rune M. Jensen, Manuela M. Veloso - 1999
53 OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains – Rune M. Jensen, Manuela M. Veloso - 2000
87 Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains – A. Cimatti, M. Roveri, P. Traverso - 1998
30 Web Service Composition as AI Planning - a Survey – Joachim Peer - 2005
117 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
8 Task Decomposition on Abstract States, for Planning under Nondeterminism – Ugur Kuter , Dana Nau , Marco Pistore , Paolo Traverso - 2009
Forward Conformant Planning . . . – Alessandro Cimatti, Marco Roveri
14 A Logic for Acting, Sensing and Planning – Luca Spalazzi - 1995
24 Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains – Marco Pistore , Renato Bettin, Paolo Traverso - 2001
48 Strong Planning in Non-Deterministic Domains via Model Checking – A. Cimatti, Marco Roveri, Paolo Traverso - 1998
5 The Planning Spectrum - One, Two, Three, Infinity – Marco Pistore, Moshe Y. Vardi - 2003
10 A hierarchical task-network planner based on symbolic model checking – Ugur Kuter, Dana Nau, Marco Pistore, Paolo Traverso - 2005
14 Deterministic state space planning with BDDs – Stefan Edelkamp, Frank Re El - 1999
4 Planning And Verification Techniques For The High Level Programming And Monitoring Of Autonomous Robotic Devices – L. Carlucci Aiello, Amedeo Cesta, Enrico Giunchiglia, Marco Pistore, Paulo Traverso - 2001