http://www.cnr.it/ontology/cnr/individuo/prodotto/ID204771
Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (Contributo in atti di convegno)
- Type
- Label
- Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (Contributo in atti di convegno) (literal)
- Anno
- 2011-01-01T00:00:00+01:00 (literal)
- Alternative label
Cesta, Amedeo [1]; Finzi, Alberto [2]; Fratini, Simone [1]; Orlandini, Andrea [3]; Tronci, Enrico [4] (2011)
Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics
in 11th Symposium on Advanced Space Technologies in Robotics and Automation. Proceedings (ASTRA 2011), Noordwijk, the Netherlands, 12-14 April 2011
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Cesta, Amedeo [1]; Finzi, Alberto [2]; Fratini, Simone [1]; Orlandini, Andrea [3]; Tronci, Enrico [4] (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
- ID_PUMA: cnr.istc/2011-A2-053 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://robotics.estec.esa.int/ASTRA/Astra2011/Papers/05A/FCXNL-11A06-2144229-1-2144229Cesta.pdf (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- [1] CNR-ISTC, Roma1-SanMartino; [2] Università di Napoli \"Federico II\"; [3] CNR-ITIA, Milano; [4] Università di Roma, La Sapienza (literal)
- Titolo
- Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (literal)
- Abstract
- This paper presents the KnowledgE ENgineering (KEEN) design support system in which Validation and Verification (V&V) methods are used to strengthen onground development of software for plan-based autonomy. In particular, the paper describes a collection of verification methods, based on Timed Game Automata (TGA), deployed for the design and development of timeline-based Planning and Scheduling (P&S) applications within the APSI-TRF framework. The KEENs V&V functionalities are illustrated describing software development to synthesize plans for a planetary rover. (literal)
- Editore
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Editore di
- Insieme di parole chiave di