Cialdea, M., Orlandini, A., Limongelli, C., Balestreri, G. (2000). The Main Features of a Planner Fully Based on LTL. In Workshop on Model- Theoretic Approaches to Planning (AIPS-2000) (pp.62-66).
The Main Features of a Planner Fully Based on LTL
CIALDEA, Marta;ORLANDINI A.;LIMONGELLI, Carla;
2000-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.