Catalogo dei prodotti della ricerca
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishTimeline-based planning techniques have demonstrated wide application possibilities in heterogeneous domains. However, a problem for a wider diffusion of such technology still stems in the reduced community that has been studying formal properties of this planning approach. In this sense, we are currently studying the connection between plan generation and execution from the particular perspective of verifying a flexible plan before its actual execution. Nevertheless, a complexity issue should be considered. In fact, validation and verification processes usually exploit formal methods, such as model-checking, that present hard complexity. In this work, we explore how a model-checking verification tool, based on UPPAAL-TIGA, is suitable for verifying flexible temporal plans. In particular, we show the feasibility of our own approach by reporting some preliminary empirical results gathered in a real-world case study.
Flexible Plan Verification: Feasibility Results / A., Cesta; A., Finzi; S., Fratini; A., Orlandini; Tronci, Enrico. - (2009). ((Intervento presentato al convegno Int, W. on: Experimental evaluation of algorithms for solving problems with combinatorial explosion tenutosi a Reggio Emilia; Italy nel 2009.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | Flexible Plan Verification: Feasibility Results | |
| Autori: | ||
| Data di pubblicazione: | 2009 | |
| Citazione: | Flexible Plan Verification: Feasibility Results / A., Cesta; A., Finzi; S., Fratini; A., Orlandini; Tronci, Enrico. - (2009). ((Intervento presentato al convegno Int, W. on: Experimental evaluation of algorithms for solving problems with combinatorial explosion tenutosi a Reggio Emilia; Italy nel 2009. | |
| Handle: | http://hdl.handle.net/11573/378889 | |
| Appartiene alla tipologia: | 04b Atto di convegno in volume |
File allegati a questo prodotto
Copyright © 2022