Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski pl
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

Surveying Deliberation Practices and Methodological Needs in Robotics Software Engineering (odnośnik otworzy się w nowym oknie)

Autorzy: Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Jorgensen, Ginny
Opublikowane w: Lecture Notes in Computer Science ISBN: 9783032014856, 2025
Wydawca: Springer Nature Link
DOI: 10.1007/978-3-032-01486-3_19

Covered for Life: Lifelong Area Coverage under Spatiotemporal Uncertainty

Autorzy: Charlie Street*, Masoumeh Mansouri
Opublikowane w: ECAI 2024 NameFrontiers in Artificial Intelligence and Applications, ISSN 1879-8314
Wydawca: IOS Press

The CONVINCE Perspective on Task and Motion Planning in Dynamic Environments (odnośnik otworzy się w nowym oknie)

Autorzy: Masoumeh Mansouri, Charlie Street, Yassin Warsame
Opublikowane w: Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76428-8_39

Planning under Uncertainty from Behaviour Trees (odnośnik otworzy się w nowym oknie)

Autorzy: Charlie Street, Oliver Grubb, Masoumeh Mansouri
Opublikowane w: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Wydawca: IEEE
DOI: 10.1109/IROS60139.2025.11246986

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

Code Generation and Monitoring for Deliberation Components in Autonomous Robots (odnośnik otworzy się w nowym oknie)

Autorzy: Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Natale, Lorenzo; TACCHELLA, Armando
Opublikowane w: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Wydawca: IEEE
DOI: 10.5281/ZENODO.16641731

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy (odnośnik otworzy się w nowym oknie)

Autorzy: Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli
Opublikowane w: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Wydawca: IEEE
DOI: 10.1109/IROS60139.2025.11246823

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

Challenges in Situation Understanding and Scene Perception (odnośnik otworzy się w nowym oknie)

Autorzy: Razane Azrou, Selma Kchir, Raphaël Lallement, Matteo Morelli
Opublikowane w: Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76428-8_35

Multi-Formation Planning and Coordination for Object Transportation (odnośnik otworzy się w nowym oknie)

Autorzy: Weijian Zhang, Charlie Street, Masoumeh Mansouri
Opublikowane w: 2023 European Conference on Mobile Robots (ECMR), ISSN 2639-7919
Wydawca: IEEE
DOI: 10.1109/ECMR59166.2023.10256314

Towards Verifying Robotic Systems Using Statistical Model Checking in STORM (odnośnik otworzy się w nowym oknie)

Autorzy: Marco Lampacrescia; Michaela Klauck; Matteo Palmas
Opublikowane w: Lecture Notes in Computer Science ISBN: 9783031754333, 2024
Wydawca: Springer
DOI: 10.1007/978-3-031-75434-0_28

Robots Calling the Shots: Using Multiple Ground Robots for Autonomous Tracking in Cluttered Environments (odnośnik otworzy się w nowym oknie)

Autorzy: Weijian Zhang, Charlie Street, Masoumeh Mansouri
Opublikowane w: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Wydawca: IEEE
DOI: 10.1109/IROS60139.2025.11247464

Enhancing Robust Autonomy of ROS 2 Systems: Code Generation and Monitoring for Deliberation Components (odnośnik otworzy się w nowym oknie)

Autorzy: Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Natale, Lorenzo; TACCHELLA, Armando
Opublikowane w: 2025
Wydawca: IEEE
DOI: 10.5281/ZENODO.15481208

Enhancing Robust Autonomy of ROS 2 Systems: Usable Formal Verification and Reinforcement Learning (odnośnik otworzy się w nowym oknie)

Autorzy: Klauck, Michaela; Marco Lampacrescia; Henkel, Christian; MORELLI, Matteo
Opublikowane w: 2025
Wydawca: IEEE
DOI: 10.5281/ZENODO.15340558

Translating Behavior Trees to Petri Nets for Model Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella
Opublikowane w: 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2025
Wydawca: IEEE
DOI: 10.1109/MODELS67397.2025.00020

Embodied Image Captioning: Self-supervised Learning Agents for Spatially Coherent Image Descriptions (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Galliena, Tommaso Apicella, Stefano Rosa, Pietro Morerio, Alessio Del Bue, Lorenzo Natale
Wydawca: arxiv.org
DOI: 10.48550/ARXIV.2504.08531

Efficient Quality Diversity Optimization with Monte Carlo Bayesian Sampling (odnośnik otworzy się w nowym oknie)

Autorzy: Matteo Palmas, Varun Bhatt, Shihan Zhao, Stefanos Nikolaidis, Ralph Lange, Michaela Klauck
Opublikowane w: Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2025
Wydawca: ACM
DOI: 10.1145/3712255.3726674

Model-based Verification and Monitoring for Safe and Responsive Robots (odnośnik otworzy się w nowym oknie)

Autorzy: Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; TACCHELLA, Armando
Opublikowane w: 2025 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), 2025
Wydawca: IEEE
DOI: 10.5281/ZENODO.15126868

Multi-Nonholonomic Robot Object Transportation with Obstacle Crossing Using a Deformable Sheet (odnośnik otworzy się w nowym oknie)

Autorzy: Weijian Zhang, Charlie Street, Masoumeh Mansouri
Opublikowane w: 2025 IEEE International Conference on Robotics and Automation (ICRA), 2025
Wydawca: IEEE
DOI: 10.1109/ICRA55743.2025.11128313

Towards Robust Autonomous Robots Using Statistical Model Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, Matteo Palmas
Opublikowane w: Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76424-0_25

Modeling Robot Control Architectures for Verification and Monitoring (odnośnik otworzy się w nowym oknie)

Autorzy: Stefano Bernagozzi, Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale, Armando Tacchella
Opublikowane w: Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76428-8_36

Towards a Verifiable Toolchain for Robotics

Autorzy: Street, Charlie; Warsame, Yazz; Mansouri, Masoumeh; Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Palmas, Matteo; Lange, Ralph; Ghiorzi, Enrico; Tacchella, Armando; Azrou, Razane; Lallement, Raphaël; Morelli, Matteo; I. Chen, Ginny; Wallis, Da
Opublikowane w: AAAI Fall Symposium Series
Wydawca: Birmingham

Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation (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
Wydawca: arXiv
DOI: 10.48550/ARXIV.2403.10700

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

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

Wyszukiwanie danych OpenAIRE...

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

Brak wyników

Moja broszura 0 0