Flexible Plan Verification: Feasibility Results (Articolo in rivista)

Type
Label
  • Flexible Plan Verification: Feasibility Results (Articolo in rivista) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.3233/FI-2011-397 (literal)
Alternative label
  • Cesta, Amedeo ; Finzi, Alberto ; Fratini, Simone ; Orlandini, Andrea ; Tronci, Enrico (2011)
    Flexible Plan Verification: Feasibility Results
    in Fundamenta informaticae; IOS Press, Amsterdam (Paesi Bassi)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Cesta, Amedeo ; Finzi, Alberto ; Fratini, Simone ; Orlandini, Andrea ; Tronci, Enrico (literal)
Pagina inizio
  • 111 (literal)
Pagina fine
  • 137 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • ID_PUMA: /cnr.istc/2011-A0-057. - Area di valutazione 09 - Ingegneria industriale e informatica (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 107 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 2-3 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTC, Roma1-SanMartino ; Università di Napoli \"Federico II\" ; CNR-ITIA, Milano ; Università di Roma, La Sapienza (literal)
Titolo
  • Flexible Plan Verification: Feasibility Results (literal)
Abstract
  • Timeline-based planning techniques have demonstrated wide application possibilities in heterogeneous real world domains. For a wider diffusion of this technology, a more thorough investigation of the connections with formal methods is needed. This paper is part of a research program aimed at studying the interconnections between timeline-based planning and standard techniques for formal validation and verification (V&V). In this line, an open issue consists of studying the link between plan generation and plan execution from the particular perspective of verifying temporal plans before their actual execution. The present work addresses the problem of verifying flexible temporal plans, i.e., those plans usually produced by least-commitment temporal planners. Such plans only impose minimal temporal constraints among the planned activities, hence are able to adapt to on-line environmental changes by trading some of the retained flexibility. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Editore di
Insieme di parole chiave di
data.CNR.it