Skip to content
Change the repository type filter

All

    Repositories list

    • TRELPy

      Public
      TRELPy is a toolbox to evaluate system-level guarantees for safety critical systems
      Python
      BSD 3-Clause "New" or "Revised" License
      0070Updated Nov 10, 2024Nov 10, 2024
    • Motion_planning seperating out planning and control modules for duckiebot
      Python
      Other
      3003Updated May 7, 2024May 7, 2024
    • Python
      0000Updated Jan 3, 2024Jan 3, 2024
    • Shell
      0200Updated Oct 2, 2023Oct 2, 2023
    • Evaluating Perception in the context of System-level Safety-Critical Requirements
      Python
      Other
      3000Updated Jun 16, 2023Jun 16, 2023
    • Docker environment you can use to build CUDA-compatible Machine Learning tools and libraries for NVidia Jetson Nano boards.
      Shell
      Other
      3000Updated Feb 21, 2023Feb 21, 2023
    • Temporal Logic Planning toolbox
      Python
      BSD 3-Clause "New" or "Revised" License
      35000Updated Jan 2, 2022Jan 2, 2022