How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno)
- Type
- Contributo in atti di convegno (Classe)
- Prodotto della ricerca (Classe)
- Label
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno) (literal)
- Anno
- 2010-01-01T00:00:00+01:00 (literal)
- Alternative label
- Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E. (2010)(literal)
How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?.
in KEPS 2010, Toronto, Canada
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E. (literal)
- Titolo
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (literal)
- Prodotto di
- Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001) (Modulo)
- Institute of cognitive sciences and technologies (ISTC) (Istituto)
- Pianificazione di interventi in situazione di emergenza: strumenti software e robotici (INT.P01.003.001) (Modulo)
- Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)
- Autore CNR
- AMEDEO CESTA (Persona)
- ANDREA ORLANDINI (Persona)
- SIMONE FRATINI (Unità di personale interno)
Incoming links:
- Autore CNR di
- AMEDEO CESTA (Persona)
- SIMONE FRATINI (Unità di personale interno)
- ANDREA ORLANDINI (Persona)
- Prodotto
- Institute of cognitive sciences and technologies (ISTC) (Istituto)
- Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)
- Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001) (Modulo)
- Pianificazione di interventi in situazione di emergenza: strumenti software e robotici (INT.P01.003.001) (Modulo)