CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Leistungen
Software release of models and components developed in the work package (SIT-L, SIT-AW). First release.
Specification of data model Ver.1 (öffnet in neuem Fenster)Data model specification. First release.
OSS release of major toolchain components Ver.1 (öffnet in neuem Fenster)Vertical prototype of reference toolchain. First release.
Software release Ver.1 (öffnet in neuem Fenster)Release of software components (REFINE-PLAN, SIMULATE-PLAN, COVERAGE-PLAN). First release
Software release of languages and tools Ver.1 (öffnet in neuem Fenster)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 (öffnet in neuem Fenster)Report presenting the specification language and translation tool used to describe temporal properties
Situation understanding potential anomalies (öffnet in neuem Fenster)Report describing the methodology and the management of potential anomalies.
Design-time verification Ver.1 (öffnet in neuem Fenster)Report presenting design-time algorithms and tools verification. First release.
Modelling language (öffnet in neuem Fenster)Report presenting the modelling language and translation tools used to describe knowledge about tasks skills robot and environment
High level end-user requirements (öffnet in neuem Fenster)Report collecting the highlevel requirements for the use cases
Knowledge-based situation modelling Ver.1 (öffnet in neuem Fenster)Report describing the knowledge graph to support situation representation at run time First release
Task refinement via task and motion planning Ver.1 (öffnet in neuem Fenster)Report on methodologies for task and motion planning for BTs refinement. First release.
Run-time verification Ver.1 (öffnet in neuem Fenster)Report presenting run-time algorithms and tools verification. First release.
Planning for Root Cause Analysis and resolution Ver.1 (öffnet in neuem Fenster)Report on methodologies for fast planning techniques for root cause analysis and resolution. First release.
Software toolchain specifications Ver.1 (öffnet in neuem Fenster)Report on the specifications for the toolchain design First release
Veröffentlichungen
Autoren:
Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang
Veröffentlicht in:
IEEE RO-MAN 2024, 2024
Herausgeber:
arxiv.org
DOI:
10.48550/ARXIV.2406.05080
Autoren:
Gianluca Scarpellini, Stefano Rosa, Pietro Morerio, Lorenzo Natale, Alessio Del Bue
Veröffentlicht in:
ECCV2024, 2024
Herausgeber:
arxiv.org
Autoren:
Weijian Zhang, Charlie Street, Masoumeh Mansouri
Veröffentlicht in:
Robotics and Autonomous Systems, Ausgabe 180, 2024, ISSN 0921-8890
Herausgeber:
Elsevier BV
DOI:
10.1016/j.robot.2024.104773
Autoren:
David Woller, Masoumeh Mansouri, Miroslav Kulich
Veröffentlicht in:
IEEE Robotics and Automation Letters, Ausgabe 9, 2024, ISSN 2377-3766
Herausgeber:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/LRA.2024.3445817
Autoren:
Charlie Street, Masoumeh Mansouri & Bruno Lacerda
Veröffentlicht in:
Current Robotics Reports, 2023, ISSN 2662-4087
Herausgeber:
Springer Nature
DOI:
10.1007/s43154-023-00104-0
Autoren:
Enrico Ghiorzi, Armando Tacchella
Veröffentlicht in:
2024
Herausgeber:
Arxiv.org
DOI:
10.48550/ARXIV.2408.00090
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor