Skip to content
@sen-uni-kn

Software and Systems Engineering - Universität Konstanz

Popular repositories Loading

  1. ContractCheck ContractCheck Public

    Java 4 1

  2. specrepair specrepair Public

    SpecRepair is a neural network repair algorithm.

    Python 3 2

  3. TarTar TarTar Public

    C 1 3

  4. JobScheduler JobScheduler Public

    Java 1 1

  5. probspecs probspecs Public

    Probabilistic Specifcation Verification of Neural Networks

    Python 1 1

  6. exsheets.sty-edited exsheets.sty-edited Public

    Forked from mlmateos/exsheets.sty-edited

    An edited file exsheets.sty to overcome the last texlive 2018 update.

    TeX

Repositories

Showing 10 of 15 repositories
  • semantic-robustness-verification Public

    Repository containing code for the "Semantic Robustness Verification for Neural Networks using Image Similarity Metrics" paper.

    sen-uni-kn/semantic-robustness-verification’s past year of commit activity
    Python 0 BSD-3-Clause 0 0 0 Updated Apr 24, 2025
  • ContractCheck Public
    sen-uni-kn/ContractCheck’s past year of commit activity
    Java 4 1 13 0 Updated Apr 18, 2025
  • probspecs Public

    Probabilistic Specifcation Verification of Neural Networks

    sen-uni-kn/probspecs’s past year of commit activity
    Python 1 MIT 1 0 0 Updated Jan 30, 2025
  • CROWN-Reach Public Forked from Verified-Intelligence/CROWN-Reach

    A reachability analysis tool for neural network controlled system, based on the alpha-beta-CROWN framework

    sen-uni-kn/CROWN-Reach’s past year of commit activity
    Python 0 1 0 0 Updated Nov 22, 2024
  • TarTar Public
    sen-uni-kn/TarTar’s past year of commit activity
    C 1 3 0 3 Updated Oct 3, 2024
  • odeenvs Public

    ODE-based safe reinforcement learning environments.

    sen-uni-kn/odeenvs’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 25, 2024
  • specrepair Public

    SpecRepair is a neural network repair algorithm.

    sen-uni-kn/specrepair’s past year of commit activity
    Python 3 Apache-2.0 2 1 0 Updated Jan 19, 2024
  • hyperproperties-supplementary Public

    Supplementary material for the paper "Verifying Global Neural Network Specifications using Hyperproperties"

    sen-uni-kn/hyperproperties-supplementary’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 4, 2023
  • pmx-nn-repair Public

    Neural Network Repair applied to learned pharmacometric models

    sen-uni-kn/pmx-nn-repair’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jul 13, 2023
  • symQV Public
    sen-uni-kn/symQV’s past year of commit activity
    0 0 0 0 Updated Dec 6, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…