Skip to content

@convince-project CONVINCE-Project

Change the repository type filter

All

    Repositories list

    17 repositories

    • refine-plan

      Public
      Source files for REFINE-PLAN (WP3), i.e. a planner for refining hand-designed behaviour trees.
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Aug 14, 2025Aug 14, 2025

    • data-model

      Public
      Repository for OSS release of the CONVINCE specification of the data model. Part of Deliverable 5.1.
      JavaScript
      •
      Creative Commons Attribution 4.0 International
      •4•0•0•1•Updated Aug 14, 2025Aug 14, 2025

    • AS2FM

      Public
      Toolchain components for model checking format conversions for robotic use cases
      Python
      •
      Apache License 2.0
      •1•7•16•3•Updated Aug 11, 2025Aug 11, 2025

    • UC3

      Public
      C++
      •4•4•1•2•Updated Aug 4, 2025Aug 4, 2025

    • CGM-IROS2025

      Public
      C++
      •0•1•0•0•Updated Jul 30, 2025Jul 30, 2025

    • model2code

      Public
      C++
      •
      Apache License 2.0
      •1•3•4•0•Updated Jul 15, 2025Jul 15, 2025

    • smc_storm

      Public
      A SMC tool building on top of STORM
      C++
      •
      GNU General Public License v3.0
      •2•3•2•0•Updated Jul 14, 2025Jul 14, 2025

    • scan

      Public
      SCAN statistical model checker
      Rust
      •
      Apache License 2.0
      •3•3•0•0•Updated Jul 7, 2025Jul 7, 2025

    • smc_verifiable_plugins

      Public
      Tools and base-class for developing C++ plugins, that can be loaded in SMC Storm for properties verification
      C++
      •
      Apache License 2.0
      •1•0•0•0•Updated Jul 7, 2025Jul 7, 2025

    • MOON

      Public
      MOON (MOnitoring ONline) is a runtime monitor developed for CONVINCE on top of the ROSMonitoring tool.
      Dockerfile
      •
      Apache License 2.0
      •0•1•0•0•Updated Jun 23, 2025Jun 23, 2025

    • MBVM-SIMPAR2025

      Public
      C++
      •1•1•0•0•Updated Jan 29, 2025Jan 29, 2025

    • overview

      Public
      Entry-point for CONVINCE documentation
      Apache License 2.0
      •0•2•0•0•Updated Nov 15, 2024Nov 15, 2024

    • coverage-plan

      Public
      Source for the coverage planner in CONVINCE WP3.
      C++
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Nov 13, 2024Nov 13, 2024

    • convince-project.github.io

      Public
      The entry page of the CONVINCE GitHub repositories.
      HTML
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 18, 2024Jul 18, 2024

    • .github

      Public
      0•0•0•0•Updated Jul 16, 2024Jul 16, 2024

    • sit-aw-anchoring

      Public
      ROS 2 based implementation of semantic anchoring, a crucial process in a robot situation awareness pipeline
      Python
      •
      Other
      •0•0•0•0•Updated Jun 6, 2024Jun 6, 2024

    • sit-aw

      Public
      Main repository for all the modules of situation awareness pipeline
      0•0•0•0•Updated Jun 5, 2024Jun 5, 2024