Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno)
- Type
- Contributo in atti di convegno (Classe)
- Prodotto della ricerca (Classe)
- Label
- Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (literal)
- Anno
- 2010-01-01T00:00:00+01:00 (literal)
- Alternative label
- Orlandini, A., Finzi, A., Cesta, A., Fratini, S. and Tronci, E. (2010)(literal)
Formal Methods for Plan-based Robot Autonomy: A Case Study
in PlanSIG 2010, Brescia, Italy
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Orlandini, A., Finzi, A., Cesta, A., Fratini, S. and Tronci, E. (literal)
- Titolo
- Formal Methods for Plan-based Robot Autonomy: A Case Study (literal)
- Prodotto di
- 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)
- Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001) (Modulo)
- Autore CNR
- AMEDEO CESTA (Persona)
- SIMONE FRATINI (Unità di personale interno)
- ANDREA ORLANDINI (Persona)
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)