Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

CONtext-aware VerifIable dyNamiC dEliberation

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Models and software release Ver.1 (si apre in una nuova finestra)

Software release of models and components developed in the work package (SIT-L, SIT-AW). First release.

Specification of data model Ver.1 (si apre in una nuova finestra)

Data model specification. First release.

OSS release of major toolchain components Ver.1 (si apre in una nuova finestra)

Vertical prototype of reference toolchain. First release.

Software release Ver.1 (si apre in una nuova finestra)

Release of software components (REFINE-PLAN, SIMULATE-PLAN, COVERAGE-PLAN). First release

Software release of languages and tools Ver.1 (si apre in una nuova finestra)

First software release of modelling languages and translation and verification tools, i.e., M2C, SCAN, FAST-SCAN, and MOON.

Technical specifications and assessment methodology Ver.1 (si apre in una nuova finestra)

Report on the technical specification translated from the use case highlevel requirements and the ethical and regulatory perspectives First release

Specification language (si apre in una nuova finestra)

Report presenting the specification language and translation tool used to describe temporal properties

Situation understanding potential anomalies (si apre in una nuova finestra)

Report describing the methodology and the management of potential anomalies.

Design-time verification Ver.1 (si apre in una nuova finestra)

Report presenting design-time algorithms and tools verification. First release.

Modelling language (si apre in una nuova finestra)

Report presenting the modelling language and translation tools used to describe knowledge about tasks skills robot and environment

High level end-user requirements (si apre in una nuova finestra)

Report collecting the highlevel requirements for the use cases

Knowledge-based situation modelling Ver.1 (si apre in una nuova finestra)

Report describing the knowledge graph to support situation representation at run time First release

Task refinement via task and motion planning Ver.1 (si apre in una nuova finestra)

Report on methodologies for task and motion planning for BTs refinement. First release.

Run-time verification Ver.1 (si apre in una nuova finestra)

Report presenting run-time algorithms and tools verification. First release.

Planning for Root Cause Analysis and resolution Ver.1 (si apre in una nuova finestra)

Report on methodologies for fast planning techniques for root cause analysis and resolution. First release.

Software toolchain specifications Ver.1 (si apre in una nuova finestra)

Report on the specifications for the toolchain design First release

Pubblicazioni

I2EDL: Interactive Instruction Error Detection and Localization (si apre in una nuova finestra)

Autori: Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang
Pubblicato in: IEEE RO-MAN 2024, 2024
Editore: arxiv.org
DOI: 10.48550/ARXIV.2406.05080

Look Around and Learn: Self-Training Object Detection by Exploration

Autori: Gianluca Scarpellini, Stefano Rosa, Pietro Morerio, Lorenzo Natale, Alessio Del Bue
Pubblicato in: ECCV2024, 2024
Editore: arxiv.org

A decoupled solution to heterogeneous multi-formation planning and coordination for object transportation (si apre in una nuova finestra)

Autori: Weijian Zhang, Charlie Street, Masoumeh Mansouri
Pubblicato in: Robotics and Autonomous Systems, Numero 180, 2024, ISSN 0921-8890
Editore: Elsevier BV
DOI: 10.1016/j.robot.2024.104773

Making a Complete Mess and Getting Away With It: Traveling Salesperson Problems With Circle Placement Variants (si apre in una nuova finestra)

Autori: David Woller, Masoumeh Mansouri, Miroslav Kulich
Pubblicato in: IEEE Robotics and Automation Letters, Numero 9, 2024, ISSN 2377-3766
Editore: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/LRA.2024.3445817

Formal Modelling for Multi-Robot Systems Under Uncertainty (si apre in una nuova finestra)

Autori: Charlie Street, Masoumeh Mansouri & Bruno Lacerda
Pubblicato in: Current Robotics Reports, 2023, ISSN 2662-4087
Editore: Springer Nature
DOI: 10.1007/s43154-023-00104-0

Execution Semantics of Behavior Trees in Robotics Applications (si apre in una nuova finestra)

Autori: Enrico Ghiorzi, Armando Tacchella
Pubblicato in: 2024
Editore: Arxiv.org
DOI: 10.48550/ARXIV.2408.00090

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0