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.

The entry page to our documentation with links to all repos of the toolchain components is here.

Funded by EU logo

Pinned Loading

  1. overview overview Public

    Entry-point for CONVINCE documentation

    2

  2. data-model data-model Public

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

    JavaScript 3

  3. smc_storm smc_storm Public

    A SMC tool building on top of STORM

    C++ 2 2

  4. AS2FM AS2FM Public

    Toolchain components for model checking format conversions for robotic use cases

    Python 3

  5. coverage-plan coverage-plan Public

    Source for the coverage planner in CONVINCE WP3.

    C++ 1

  6. scan scan Public

    SCAN statistical model checker

    Rust 1

Repositories

Showing 10 of 15 repositories
  • scan Public

    SCAN statistical model checker

    convince-project/scan’s past year of commit activity
    Rust 1 Apache-2.0 0 0 0 Updated Nov 23, 2024
  • MBVM-SIMPAR2025 Public
    convince-project/MBVM-SIMPAR2025’s past year of commit activity
    C++ 1 0 0 1 Updated Nov 22, 2024
  • AS2FM Public

    Toolchain components for model checking format conversions for robotic use cases

    convince-project/AS2FM’s past year of commit activity
    Python 3 Apache-2.0 0 18 2 Updated Nov 22, 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
    Dockerfile 0 Apache-2.0 0 0 0 Updated Nov 19, 2024
  • model2code Public
    convince-project/model2code’s past year of commit activity
    C++ 3 Apache-2.0 1 0 0 Updated Nov 19, 2024
  • overview Public

    Entry-point for CONVINCE documentation

    convince-project/overview’s past year of commit activity
    2 Apache-2.0 0 0 0 Updated Nov 15, 2024
  • UC3 Public
    convince-project/UC3’s past year of commit activity
    C++ 4 4 1 1 Updated Nov 14, 2024
  • smc_storm Public

    A SMC tool building on top of STORM

    convince-project/smc_storm’s past year of commit activity
    C++ 2 GPL-3.0 2 1 0 Updated Nov 14, 2024
  • refine-plan Public

    Source files for REFINE-PLAN (WP3), i.e. a planner for refining hand-designed behaviour trees.

    convince-project/refine-plan’s past year of commit activity
    Python 1 GPL-3.0 0 0 0 Updated Nov 13, 2024
  • coverage-plan Public

    Source for the coverage planner in CONVINCE WP3.

    convince-project/coverage-plan’s past year of commit activity
    C++ 1 GPL-3.0 0 0 0 Updated Nov 13, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…