Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

CONtext-aware VerifIable dyNamiC dEliberation

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Models and software release Ver.1 (odnośnik otworzy się w nowym oknie)

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

Specification of data model Ver.1 (odnośnik otworzy się w nowym oknie)

Data model specification. First release.

OSS release of major toolchain components Ver.1 (odnośnik otworzy się w nowym oknie)

Vertical prototype of reference toolchain. First release.

Software release Ver.1 (odnośnik otworzy się w nowym oknie)

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

Software release of languages and tools Ver.1 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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

Specification language (odnośnik otworzy się w nowym oknie)

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

Situation understanding potential anomalies (odnośnik otworzy się w nowym oknie)

Report describing the methodology and the management of potential anomalies.

Design-time verification Ver.1 (odnośnik otworzy się w nowym oknie)

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

Modelling language (odnośnik otworzy się w nowym oknie)

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

High level end-user requirements (odnośnik otworzy się w nowym oknie)

Report collecting the highlevel requirements for the use cases

Knowledge-based situation modelling Ver.1 (odnośnik otworzy się w nowym oknie)

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

Task refinement via task and motion planning Ver.1 (odnośnik otworzy się w nowym oknie)

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

Run-time verification Ver.1 (odnośnik otworzy się w nowym oknie)

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

Planning for Root Cause Analysis and resolution Ver.1 (odnośnik otworzy się w nowym oknie)

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

Software toolchain specifications Ver.1 (odnośnik otworzy się w nowym oknie)

Report on the specifications for the toolchain design First release

Publikacje

I2EDL: Interactive Instruction Error Detection and Localization (odnośnik otworzy się w nowym oknie)

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

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

Autorzy: Gianluca Scarpellini, Stefano Rosa, Pietro Morerio, Lorenzo Natale, Alessio Del Bue
Opublikowane w: ECCV2024, 2024
Wydawca: arxiv.org

A decoupled solution to heterogeneous multi-formation planning and coordination for object transportation (odnośnik otworzy się w nowym oknie)

Autorzy: Weijian Zhang, Charlie Street, Masoumeh Mansouri
Opublikowane w: Robotics and Autonomous Systems, Numer 180, 2024, ISSN 0921-8890
Wydawca: 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 (odnośnik otworzy się w nowym oknie)

Autorzy: David Woller, Masoumeh Mansouri, Miroslav Kulich
Opublikowane w: IEEE Robotics and Automation Letters, Numer 9, 2024, ISSN 2377-3766
Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/LRA.2024.3445817

Formal Modelling for Multi-Robot Systems Under Uncertainty (odnośnik otworzy się w nowym oknie)

Autorzy: Charlie Street, Masoumeh Mansouri & Bruno Lacerda
Opublikowane w: Current Robotics Reports, 2023, ISSN 2662-4087
Wydawca: Springer Nature
DOI: 10.1007/s43154-023-00104-0

Execution Semantics of Behavior Trees in Robotics Applications (odnośnik otworzy się w nowym oknie)

Autorzy: Enrico Ghiorzi, Armando Tacchella
Opublikowane w: 2024
Wydawca: Arxiv.org
DOI: 10.48550/ARXIV.2408.00090

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0