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 Public

    Scalable stochastic verification of continuous-depth models

    Python 6 1

  2. LRTNG Public

    Lagrangian Reachtubes: The Next Generation

    C++ 1

Repositories

  • GoTube Public

    Scalable stochastic verification of continuous-depth models

    Python 6 1 0 0 Updated Mar 21, 2022
  • LRTNG Public

    Lagrangian Reachtubes: The Next Generation

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

Top languages

Loading…

Most used topics

Loading…