|
|
Centro Per La Ricerca
– Scientifica Tecnologica Povo, Istituto Trentino Di Cultura, Paolo Busetta, Giordano Adami, Francesco Palmieri
|
|
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
|
|
4
|
The Planning Spectrum - One, Two, Three, Infinity
– Marco Pistore, Moshe Y. Vardi
- 2003
|
|
10
|
Planning with Extended Goals and Partial Observability
– Piergiorgio Bertoli
- 2004
|
|
24
|
Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains
– Marco Pistore , Renato Bettin, Paolo Traverso
- 2001
|
|
8
|
Extending PDDL to nondeterminism, limited sensing and iterative conditional plans
– Piergiorgio Bertoli, Alessandro Cimatti, Ugo Dal Lago, Marco Pistore
|
|
|
Plan Validation for Extended Goals under . . .
– P. Bertoli , A. Cimatti , M. Pistore , P. Traverso
- 2002
|
|
3
|
Plan Validation for Extended Goals under Partial Observability
– Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso
- 2002
|
|
|
A Framework for Planning with Extended Goals . . .
– P. Bertoli , A. Cimatti , M. Pistore , P. Traverso
- 2003
|
|
9
|
A hierarchical task-network planner based on symbolic model checking
– Ugur Kuter, Dana Nau
- 2005
|
|
26
|
Forward-Chaining Planning in Nondeterministic Domains
– Ugur Kuter, Dana Nau
- 2004
|
|
23
|
Solving power supply restoration problems with planning via symbolic model checking
– Piergiorgio Bertoli, Ro Cimatti, John Slaney, Sylvie Thiébaux
- 2002
|
|
|
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
|
|
25
|
STRONG CYCLIC PLANNING REVISITED
– Marco Daniele, Paolo Traverso, Moshe Y. Vardi
|
|
2
|
High-Level Robot Programming in Dynamic and Incompletely Known Environments
– Mikhail Soutchanski
- 2003
|
|
3
|
Using Classical Planners to Solve Nondeterministic Planning Problems
– Ugur Kuter, Dana Nau, Elnatan Reisner, Robert P. Goldman
|
|
11
|
Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space
– P. Bertoli, A. Cimatti , Marco Roveri
- 2001
|
|
2
|
Planning for Interactions among Autonomous Agents
– Tsz-chiu Au, Ugur Kuter, Dana Nau
|
|
4
|
Conditionalization: Adapting Forward-Chaining Planners to Partially Observable Environments
– Ugur Kuter, Dana Nau, Elnatan Reisner
|
