GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • convince-project
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — CONVINCE-Project

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

    Python 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 6

  3. smc_storm smc_storm Public

    A SMC tool building on top of STORM

    C++ 5 3

  4. AS2FM AS2FM Public

    Toolchain components for model checking format conversions for robotic use cases

    Python 16 2

  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 7 4

Repositories

Loading
Type
Language
Sort
Showing 10 of 27 repositories
  • UC3 Public

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/UC3's past year of commit activity
    C++ 5 9 16 5 Updated Nov 12, 2026
  • scan Public

    SCAN statistical model checker

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/scan's past year of commit activity
    Rust 7 Apache-2.0 4 0 1 Updated Nov 10, 2026
  • use-cases-experiments Public

    Reproducible experiments on models of CONVINCE use cases

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/use-cases-experiments's past year of commit activity
    CMake 0 0 0 0 Updated Jul 23, 2026
  • overview Public

    Entry-point for CONVINCE documentation

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/overview's past year of commit activity
    Python 2 Apache-2.0 0 4 1 Updated Jul 15, 2026
  • sit-aw-anchoring Public

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

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/sit-aw-anchoring's past year of commit activity
    C++ 0 0 0 0 Updated May 6, 2026
  • MOON Public

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

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/MOON's past year of commit activity
    Python 2 Apache-2.0 1 0 0 Updated May 5, 2026
  • sit-aw-skrawl Public

    Symbolic Knowledge Representation for Robot Situation Awareness and Learning

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/sit-aw-skrawl's past year of commit activity
    0 0 0 0 Updated May 4, 2026
  • data-model Public

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

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/data-model's past year of commit activity
    JavaScript 0 CC-BY-4.0 6 1 3 Updated Apr 30, 2026
  • sit-aw Public

    Main repository for all the modules of situation awareness pipeline

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/sit-aw's past year of commit activity
    0 0 0 0 Updated Apr 24, 2026
  • model2code Public

    Uh oh!

    There was an error while loading. Please reload this page.

    convince-project/model2code's past year of commit activity
    C++ 4 Apache-2.0 4 3 1 Updated Apr 22, 2026
View all repositories

People

@iranmansoori @ct2034 @m-morelli @ste93

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.