Skip to content
@DatenVorsprung

DatenVorsprung GmbH

DatenVorsprung provides verifiable and safe AI by extending research to different industry sectors - with the vision to make a difference in the world.

Popular repositories

  1. GoTube GoTube Public

    Scalable stochastic verification of continuous-depth models

    Python 12 4

  2. LRTNG LRTNG Public

    Lagrangian Reachtubes: The Next Generation

    C++ 3

  3. gama-gym gama-gym Public

    Repository dedicated to the development of a bridge between Gama and OpenAI's gym API

    Python

Repositories

Showing 3 of 3 repositories
  • GoTube Public

    Scalable stochastic verification of continuous-depth models

    Python 12 4 0 1 Updated Jun 20, 2023
  • gama-gym Public

    Repository dedicated to the development of a bridge between Gama and OpenAI's gym API

    Python 0 0 0 0 Updated Apr 28, 2023
  • LRTNG Public

    Lagrangian Reachtubes: The Next Generation

    C++ 3 0 0 0 Updated Nov 14, 2021

Top languages

Loading…

Most used topics

Loading…