News

🌟 Congratulations to Charlie Street for winning the Best Paper Award at the AAAI Fall Symposium on Unified Representation for Robotic Application Development (UR-RAD)! 🏆 The paper, "Towards a Verifiable Toolchain for Robotics," describe our model-driven approach, each of the toolchain components, and how they interact. We also discuss survey results which demonstrate the demand for a verifiable toolchain among the robotics community

Members of CONVINCE co-organized the Hands-On wirh ROS2 Deliberation Technologies during ROSCon 2024. The workshop offered hands-on exploration of task planning and behavior modeling within ROS 2. The schedule included introductory presentations, hands-on implementation sessions moderated by maintainers of the technologies - BehaviorTree.CPP, FlexBE, SkiROS2, and the CONVINCE toolchain - and interactive discussions.

The workshop was a big success, with more than 100 participants! This is part of the activitis of the ROS Deliberation Community Group.

🚀 Last week at AISoLA 2024, Marco Lampacrescia from Bosch Research presented SMC Storm, a new Statistical Model Checking tool developed under the CONVINCE Project, based on the renowned Probabilistic Model Checker, Storm.

SMC Storm is available open source as part of the CONVINCE toolchain release

Technical partners gathered in Genova for an integration meeting. Across three days, team members worked together to align our use cases and tools, working to ensure a seamless integration of the project's components.

The sessions were productive and invaluable in pushing the project forward. We successfully tested our modelling language on examples derived from our use cases and ran model-checking tools to verify related properties. Significant progress was also made in integrating situation understanding and run-time monitors.

Charlie Street, Postdoctoral Research Fellow at the University of Birmingham, working in WP3.

This time we would like to feature Razane Azrou, who is Research Engineer at CEA, working in WP2.

Meet the developer

This time we would like to feature Masoumeh Mansoori, an Associate Professor at the University of Birmingham, and a team leader for the project's work package Task and Motion planning.

Members of the CONVINCE consortium contributed to the ACM SIGSOFT Summer School for Software Engineering in Robotics that was held in Bruxelles June 4-8 2024. Enrico Ghiorzi (University of Genova) gave a lecture on Behavior Trees and tooling, while Ralph Lange and Michaela Klauck (BOSCH) organized a full day on Verification and Validation of autonomous robots.

The inaugural "Meet the Developer" article takes you behind the scenes to shine a spotlight on the individuals driving Convince. We're excited to begin with Michaela Klauck, Research Engineer at Bosch Corporate Research.

In this newsletter, you will find a project update, survey news, information about ERF 2024, as well as details of upcoming events and publications.

CONVINCE joined forces with the project to SestoSenso to organize the workshop and insight session on Safe Adaptatio for Long-Term Autonomy and Human-Robot Interaction.

We were in Rimini to attend the 2024 European Forum. This time we brought also the R1 robot to demonstrate its capabilities, together with a poster to present CONVINCE aims, challenges and methodology.

The Consortium met in Renningen for the first review of the project. We had fruitful discussion with the project officer and the reviewers and invaluable insights. Looking fotward to the next year of activities!

We just had an exciting project meeting in Paris, hosted by CEA.

We discussed project progress and planned the next steps in view of the first periodic report of CONVINCE. We also had a chance to visit CEA showroom and robotics laboratories, quite impressive!

We propose a new ROS Working Group, whose main goal shall be to develop common architectural concepts and framework mechanisms so that the various methods can be combined more easily. 

CONVINCE project kicked off to improve the autonomy of robots. Coordinated by the Istituto Italiano di Tecnologia (IIT), the project has been awarded over €4 million in EU funding under the Horizon Europe Programme. Complete press release.

The news was featured on the leading Italian press agency ANSA.

IIT

CONVINCE is attending the 2023 European Robotics Forum at Odense, Denmark.

CONVINCE project had its kick-off meerting in October 2022, which was held in Genova, Italy.