CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Resultado final
Software release of models and components developed in the work package (SIT-L, SIT-AW). First release.
Specification of data model Ver.1 (se abrirá en una nueva ventana)Data model specification. First release.
OSS release of major toolchain components Ver.1 (se abrirá en una nueva ventana)Vertical prototype of reference toolchain. First release.
Software release Ver.1 (se abrirá en una nueva ventana)Release of software components (REFINE-PLAN, SIMULATE-PLAN, COVERAGE-PLAN). First release
Software release of languages and tools Ver.1 (se abrirá en una nueva ventana)First software release of modelling languages and translation and verification tools, i.e., M2C, SCAN, FAST-SCAN, and MOON.
Report on the technical specification translated from the use case highlevel requirements and the ethical and regulatory perspectives First release
Specification language (se abrirá en una nueva ventana)Report presenting the specification language and translation tool used to describe temporal properties
Situation understanding potential anomalies (se abrirá en una nueva ventana)Report describing the methodology and the management of potential anomalies.
Design-time verification Ver.1 (se abrirá en una nueva ventana)Report presenting design-time algorithms and tools verification. First release.
Modelling language (se abrirá en una nueva ventana)Report presenting the modelling language and translation tools used to describe knowledge about tasks skills robot and environment
High level end-user requirements (se abrirá en una nueva ventana)Report collecting the highlevel requirements for the use cases
Knowledge-based situation modelling Ver.1 (se abrirá en una nueva ventana)Report describing the knowledge graph to support situation representation at run time First release
Task refinement via task and motion planning Ver.1 (se abrirá en una nueva ventana)Report on methodologies for task and motion planning for BTs refinement. First release.
Run-time verification Ver.1 (se abrirá en una nueva ventana)Report presenting run-time algorithms and tools verification. First release.
Planning for Root Cause Analysis and resolution Ver.1 (se abrirá en una nueva ventana)Report on methodologies for fast planning techniques for root cause analysis and resolution. First release.
Software toolchain specifications Ver.1 (se abrirá en una nueva ventana)Report on the specifications for the toolchain design First release
Publicaciones
Autores:
Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang
Publicado en:
IEEE RO-MAN 2024, 2024
Editor:
arxiv.org
DOI:
10.48550/ARXIV.2406.05080
Autores:
Gianluca Scarpellini, Stefano Rosa, Pietro Morerio, Lorenzo Natale, Alessio Del Bue
Publicado en:
ECCV2024, 2024
Editor:
arxiv.org
Autores:
Weijian Zhang, Charlie Street, Masoumeh Mansouri
Publicado en:
Robotics and Autonomous Systems, Edición 180, 2024, ISSN 0921-8890
Editor:
Elsevier BV
DOI:
10.1016/j.robot.2024.104773
Autores:
David Woller, Masoumeh Mansouri, Miroslav Kulich
Publicado en:
IEEE Robotics and Automation Letters, Edición 9, 2024, ISSN 2377-3766
Editor:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/LRA.2024.3445817
Autores:
Charlie Street, Masoumeh Mansouri & Bruno Lacerda
Publicado en:
Current Robotics Reports, 2023, ISSN 2662-4087
Editor:
Springer Nature
DOI:
10.1007/s43154-023-00104-0
Autores:
Enrico Ghiorzi, Armando Tacchella
Publicado en:
2024
Editor:
Arxiv.org
DOI:
10.48550/ARXIV.2408.00090
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles