CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
Software release of models and components developed in the work package (SIT-L, SIT-AW). First release.
Specification of data model Ver.1 (opens in new window)Data model specification. First release.
OSS release of major toolchain components Ver.1 (opens in new window)Vertical prototype of reference toolchain. First release.
Software release Ver.1 (opens in new window)Release of software components (REFINE-PLAN, SIMULATE-PLAN, COVERAGE-PLAN). First release
Software release of languages and tools Ver.1 (opens in new window)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 (opens in new window)Report presenting the specification language and translation tool used to describe temporal properties
Situation understanding potential anomalies (opens in new window)Report describing the methodology and the management of potential anomalies.
Design-time verification Ver.1 (opens in new window)Report presenting design-time algorithms and tools verification. First release.
Modelling language (opens in new window)Report presenting the modelling language and translation tools used to describe knowledge about tasks skills robot and environment
High level end-user requirements (opens in new window)Report collecting the highlevel requirements for the use cases
Knowledge-based situation modelling Ver.1 (opens in new window)Report describing the knowledge graph to support situation representation at run time First release
Task refinement via task and motion planning Ver.1 (opens in new window)Report on methodologies for task and motion planning for BTs refinement. First release.
Run-time verification Ver.1 (opens in new window)Report presenting run-time algorithms and tools verification. First release.
Planning for Root Cause Analysis and resolution Ver.1 (opens in new window)Report on methodologies for fast planning techniques for root cause analysis and resolution. First release.
Software toolchain specifications Ver.1 (opens in new window)Report on the specifications for the toolchain design First release
Publications
Author(s):
Klauck, Michaela; Henkel, Christian; Lampacrescia, Marco; Jorgensen, Ginny
Published in:
Lecture Notes in Computer Science ISBN: 9783032014856, 2025
Publisher:
Springer Nature Link
DOI:
10.1007/978-3-032-01486-3_19
Author(s):
Charlie Street*, Masoumeh Mansouri
Published in:
ECAI 2024 NameFrontiers in Artificial Intelligence and Applications, ISSN 1879-8314
Publisher:
IOS Press
Author(s):
Masoumeh Mansouri, Charlie Street, Yassin Warsame
Published in:
Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-76428-8_39
Author(s):
Charlie Street, Oliver Grubb, Masoumeh Mansouri
Published in:
2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Publisher:
IEEE
DOI:
10.1109/IROS60139.2025.11246986
Author(s):
Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang
Published in:
IEEE RO-MAN 2024, 2024
Publisher:
arxiv.org
DOI:
10.48550/ARXIV.2406.05080
Author(s):
Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Natale, Lorenzo; TACCHELLA, Armando
Published in:
2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Publisher:
IEEE
DOI:
10.5281/ZENODO.16641731
Author(s):
Christian Henkel, Marco Lampacrescia, Michaela Klauck, Matteo Morelli
Published in:
2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Publisher:
IEEE
DOI:
10.1109/IROS60139.2025.11246823
Author(s):
Gianluca Scarpellini, Stefano Rosa, Pietro Morerio, Lorenzo Natale, Alessio Del Bue
Published in:
ECCV2024, 2024
Publisher:
arxiv.org
Author(s):
Razane Azrou, Selma Kchir, Raphaël Lallement, Matteo Morelli
Published in:
Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-76428-8_35
Author(s):
Weijian Zhang, Charlie Street, Masoumeh Mansouri
Published in:
2023 European Conference on Mobile Robots (ECMR), ISSN 2639-7919
Publisher:
IEEE
DOI:
10.1109/ECMR59166.2023.10256314
Author(s):
Marco Lampacrescia; Michaela Klauck; Matteo Palmas
Published in:
Lecture Notes in Computer Science ISBN: 9783031754333, 2024
Publisher:
Springer
DOI:
10.1007/978-3-031-75434-0_28
Author(s):
Weijian Zhang, Charlie Street, Masoumeh Mansouri
Published in:
2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025
Publisher:
IEEE
DOI:
10.1109/IROS60139.2025.11247464
Author(s):
Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Natale, Lorenzo; TACCHELLA, Armando
Published in:
2025
Publisher:
IEEE
DOI:
10.5281/ZENODO.15481208
Author(s):
Klauck, Michaela; Marco Lampacrescia; Henkel, Christian; MORELLI, Matteo
Published in:
2025
Publisher:
IEEE
DOI:
10.5281/ZENODO.15340558
Author(s):
Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella
Published in:
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2025
Publisher:
IEEE
DOI:
10.1109/MODELS67397.2025.00020
Author(s):
Tommaso Galliena, Tommaso Apicella, Stefano Rosa, Pietro Morerio, Alessio Del Bue, Lorenzo Natale
Publisher:
arxiv.org
DOI:
10.48550/ARXIV.2504.08531
Author(s):
Matteo Palmas, Varun Bhatt, Shihan Zhao, Stefanos Nikolaidis, Ralph Lange, Michaela Klauck
Published in:
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2025
Publisher:
ACM
DOI:
10.1145/3712255.3726674
Author(s):
Bernagozzi, Stefano; Faraci, Sofia; Ghiorzi, Enrico; Pedemonte, Karim; Ferrando, Angelo; Natale, Lorenzo; TACCHELLA, Armando
Published in:
2025 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), 2025
Publisher:
IEEE
DOI:
10.5281/ZENODO.15126868
Author(s):
Weijian Zhang, Charlie Street, Masoumeh Mansouri
Published in:
2025 IEEE International Conference on Robotics and Automation (ICRA), 2025
Publisher:
IEEE
DOI:
10.1109/ICRA55743.2025.11128313
Author(s):
Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir, Matteo Palmas
Published in:
Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-76424-0_25
Author(s):
Stefano Bernagozzi, Angelo Ferrando, Enrico Ghiorzi, Lorenzo Natale, Armando Tacchella
Published in:
Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-76428-8_36
Author(s):
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
Published in:
AAAI Fall Symposium Series
Publisher:
Birmingham
Author(s):
Francesco Taioli, Stefano Rosa, Alberto Castellini, Lorenzo Natale, Alessio Del Bue, Alessandro Farinelli, Marco Cristani, Yiming Wang
Publisher:
arXiv
DOI:
10.48550/ARXIV.2403.10700
Author(s):
Enrico Ghiorzi, Armando Tacchella
Published in:
2024
Publisher:
Arxiv.org
DOI:
10.48550/ARXIV.2408.00090
Author(s):
Weijian Zhang, Charlie Street, Masoumeh Mansouri
Published in:
Robotics and Autonomous Systems, Issue 180, 2024, ISSN 0921-8890
Publisher:
Elsevier BV
DOI:
10.1016/j.robot.2024.104773
Author(s):
David Woller, Masoumeh Mansouri, Miroslav Kulich
Published in:
IEEE Robotics and Automation Letters, Issue 9, 2024, ISSN 2377-3766
Publisher:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/LRA.2024.3445817
Author(s):
Charlie Street, Masoumeh Mansouri & Bruno Lacerda
Published in:
Current Robotics Reports, 2023, ISSN 2662-4087
Publisher:
Springer Nature
DOI:
10.1007/s43154-023-00104-0
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available