Skip to content

@convince-project CONVINCE-Project

Change the repository type filter

All

    Repositories list

    16 repositories

    • AS2FM

      Public
      Toolchain components for model checking format conversions for robotic use cases
      Python
      •
      Apache License 2.0
      •0•4•18•2•Updated Mar 6, 2025Mar 6, 2025

    • model2code

      Public
      C++
      •
      Apache License 2.0
      •1•3•0•0•Updated Mar 5, 2025Mar 5, 2025

    • CGM-IROS2025

      Public
      0•0•0•0•Updated Feb 28, 2025Feb 28, 2025

    • scan

      Public
      SCAN statistical model checker
      Rust
      •
      Apache License 2.0
      •1•2•0•0•Updated Feb 27, 2025Feb 27, 2025

    • UC3

      Public
      C++
      •4•4•1•1•Updated Feb 27, 2025Feb 27, 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•0•0•0•Updated Feb 26, 2025Feb 26, 2025

    • 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 Feb 13, 2025Feb 13, 2025

    • MBVM-SIMPAR2025

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

    • smc_storm

      Public
      A SMC tool building on top of STORM
      C++
      •
      GNU General Public License v3.0
      •2•3•1•0•Updated Jan 8, 2025Jan 8, 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

    • 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
      •3•0•0•4•Updated Jul 16, 2024Jul 16, 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