CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
Software release of models and components developed in the work package (SIT-L, SIT-AW). First release.
Specification of data model Ver.1 (s’ouvre dans une nouvelle fenêtre)Data model specification. First release.
OSS release of major toolchain components Ver.1 (s’ouvre dans une nouvelle fenêtre)Vertical prototype of reference toolchain. First release.
Software release Ver.1 (s’ouvre dans une nouvelle fenêtre)Release of software components (REFINE-PLAN, SIMULATE-PLAN, COVERAGE-PLAN). First release
Software release of languages and tools Ver.1 (s’ouvre dans une nouvelle fenêtre)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 (s’ouvre dans une nouvelle fenêtre)Report presenting the specification language and translation tool used to describe temporal properties
Situation understanding potential anomalies (s’ouvre dans une nouvelle fenêtre)Report describing the methodology and the management of potential anomalies.
Design-time verification Ver.1 (s’ouvre dans une nouvelle fenêtre)Report presenting design-time algorithms and tools verification. First release.
Modelling language (s’ouvre dans une nouvelle fenêtre)Report presenting the modelling language and translation tools used to describe knowledge about tasks skills robot and environment
High level end-user requirements (s’ouvre dans une nouvelle fenêtre)Report collecting the highlevel requirements for the use cases
Knowledge-based situation modelling Ver.1 (s’ouvre dans une nouvelle fenêtre)Report describing the knowledge graph to support situation representation at run time First release
Task refinement via task and motion planning Ver.1 (s’ouvre dans une nouvelle fenêtre)Report on methodologies for task and motion planning for BTs refinement. First release.
Run-time verification Ver.1 (s’ouvre dans une nouvelle fenêtre)Report presenting run-time algorithms and tools verification. First release.
Planning for Root Cause Analysis and resolution Ver.1 (s’ouvre dans une nouvelle fenêtre)Report on methodologies for fast planning techniques for root cause analysis and resolution. First release.
Software toolchain specifications Ver.1 (s’ouvre dans une nouvelle fenêtre)Report on the specifications for the toolchain design First release
Publications
Auteurs:
Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang
Publié dans:
IEEE RO-MAN 2024, 2024
Éditeur:
arxiv.org
DOI:
10.48550/ARXIV.2406.05080
Auteurs:
Gianluca Scarpellini, Stefano Rosa, Pietro Morerio, Lorenzo Natale, Alessio Del Bue
Publié dans:
ECCV2024, 2024
Éditeur:
arxiv.org
Auteurs:
Weijian Zhang, Charlie Street, Masoumeh Mansouri
Publié dans:
Robotics and Autonomous Systems, Numéro 180, 2024, ISSN 0921-8890
Éditeur:
Elsevier BV
DOI:
10.1016/j.robot.2024.104773
Auteurs:
David Woller, Masoumeh Mansouri, Miroslav Kulich
Publié dans:
IEEE Robotics and Automation Letters, Numéro 9, 2024, ISSN 2377-3766
Éditeur:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/LRA.2024.3445817
Auteurs:
Charlie Street, Masoumeh Mansouri & Bruno Lacerda
Publié dans:
Current Robotics Reports, 2023, ISSN 2662-4087
Éditeur:
Springer Nature
DOI:
10.1007/s43154-023-00104-0
Auteurs:
Enrico Ghiorzi, Armando Tacchella
Publié dans:
2024
Éditeur:
Arxiv.org
DOI:
10.48550/ARXIV.2408.00090
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible