Skip to content
Change the repository type filter

All

    Repositories list

    • AS2FM

      Public
      Toolchain components for model checking format conversions for robotic use cases
      Python
      Apache License 2.0
      03172Updated Dec 13, 2024Dec 13, 2024
    • UC3

      Public
      C++
      4411Updated Dec 12, 2024Dec 12, 2024
    • C++
      0100Updated Dec 12, 2024Dec 12, 2024
    • scan

      Public
      SCAN statistical model checker
      Rust
      Apache License 2.0
      1101Updated Dec 6, 2024Dec 6, 2024
    • Source files for REFINE-PLAN (WP3), i.e. a planner for refining hand-designed behaviour trees.
      Python
      GNU General Public License v3.0
      0100Updated Dec 2, 2024Dec 2, 2024
    • MOON

      Public
      MOON (MOnitoring ONline) is a runtime monitor developed for CONVINCE on top of the ROSMonitoring tool.
      Dockerfile
      Apache License 2.0
      0000Updated Nov 19, 2024Nov 19, 2024
    • C++
      Apache License 2.0
      1300Updated Nov 19, 2024Nov 19, 2024
    • overview

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

      Public
      A SMC tool building on top of STORM
      C++
      GNU General Public License v3.0
      2310Updated Nov 14, 2024Nov 14, 2024
    • Source for the coverage planner in CONVINCE WP3.
      C++
      GNU General Public License v3.0
      0100Updated Nov 13, 2024Nov 13, 2024
    • The entry page of the CONVINCE GitHub repositories.
      HTML
      Apache License 2.0
      0000Updated Jul 18, 2024Jul 18, 2024
    • Repository for OSS release of the CONVINCE specification of the data model. Part of Deliverable 5.1.
      JavaScript
      Creative Commons Attribution 4.0 International
      3003Updated Jul 16, 2024Jul 16, 2024
    • .github

      Public
      0000Updated Jul 16, 2024Jul 16, 2024
    • ROS 2 based implementation of semantic anchoring, a crucial process in a robot situation awareness pipeline
      Python
      Other
      0000Updated Jun 6, 2024Jun 6, 2024
    • sit-aw

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