Skip to content
@convince-project

CONVINCE-Project

Open-source software by the EU-funded robotics research project CONVINCE
README.md

Banner

CONVINCE is a project funded by the European Union Horizon Europe Programme (Grant Agreement N. 101070227). The main contribution is to develop and verify cognitive deliberation capabilities that ensure safe robot operation over extended periods of time without human intervention and integrate these capabilities into a model-driven software toolchain for robot developers. Open-source components of this toolchain will be provided in this GitHub organization. Learn more about what we are doing at convince-project.eu.

Funded by EU logo

Popular repositories Loading

  1. UC3 UC3 Public

    C++ 2 2

  2. model2code model2code Public

    C++ 1

  3. .github .github Public

  4. coverage-plan coverage-plan Public

    Source for the coverage planner in CONVINCE WP3.

    C++

  5. scan scan Public

    SCAN statistical model checker

    Rust

  6. data-model data-model Public

    Repository for OSS release of the CONVINCE specification of the data model. Part of Deliverable 5.1.

    JavaScript 1

Repositories

Showing 10 of 13 repositories
  • mc-toolchain-jani Public

    Toolchain components for model checking format conversions for robotic use cases

    convince-project/mc-toolchain-jani’s past year of commit activity
    Python 0 Apache-2.0 0 0 1 Updated Jun 28, 2024
  • UC3 Public
    convince-project/UC3’s past year of commit activity
    C++ 2 2 1 2 Updated Jun 27, 2024
  • scan Public

    SCAN statistical model checker

    convince-project/scan’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Jun 23, 2024
  • data-model Public

    Repository for OSS release of the CONVINCE specification of the data model. Part of Deliverable 5.1.

    convince-project/data-model’s past year of commit activity
    JavaScript 0 CC-BY-4.0 1 0 1 Updated Jun 22, 2024
  • smc_storm Public

    A SMC tool building on top of STORM

    convince-project/smc_storm’s past year of commit activity
    C++ 0 GPL-3.0 1 0 0 Updated Jun 21, 2024
  • sit-aw-anchoring Public

    ROS 2 based implementation of semantic anchoring, a crucial process in a robot situation awareness pipeline

    convince-project/sit-aw-anchoring’s past year of commit activity
    Python 0 0 0 0 Updated Jun 6, 2024
  • sit-aw Public

    Main repository for all the modules of situation awareness pipeline

    convince-project/sit-aw’s past year of commit activity
    0 0 0 0 Updated Jun 5, 2024
  • overview Public

    Entry-point for CONVINCE documentation

    convince-project/overview’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Jun 3, 2024
  • MOON Public

    MOON (MOnitoring ONline) is a runtime monitor developed for CONVINCE on top of the ROSMonitoring tool.

    convince-project/MOON’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Jun 1, 2024
  • model2code Public
    convince-project/model2code’s past year of commit activity
    C++ 1 Apache-2.0 0 0 0 Updated May 31, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…