Skip to content

@convince-project CONVINCE-Project

Change the repository type filter

All

    Repositories list

    14 repositories

    • AS2FM

      Public
      Toolchain components for model checking format conversions for robotic use cases
      Python
      •
      Apache License 2.0
      •0•1•14•3•Updated Oct 6, 2024Oct 6, 2024

    • model2code

      Public
      C++
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 4, 2024Oct 4, 2024

    • scan

      Public
      SCAN statistical model checker
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 2, 2024Oct 2, 2024

    • UC3

      Public
      C++
      •2•2•1•1•Updated Sep 25, 2024Sep 25, 2024

    • 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•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • smc_storm

      Public
      A SMC tool building on top of STORM
      C++
      •
      GNU General Public License v3.0
      •1•0•1•0•Updated Aug 28, 2024Aug 28, 2024

    • overview

      Public
      Entry-point for CONVINCE documentation
      Apache License 2.0
      •0•1•0•0•Updated Jul 19, 2024Jul 19, 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
      •2•0•0•3•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

    • MOON

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

    • coverage-plan

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