Repositories list

• TarTar

  Public
  C

  •

  Other

  •3•1•0•3•Updated Oct 3, 2024Oct 3, 2024

• probspecs

  Public
  Probabilistic Specifcation Verification of Neural Networks

  Python

  •

  MIT License

  •0•0•0•0•Updated Sep 28, 2024Sep 28, 2024

• ContractCheck

  Public
  Java

  •

  Other

  •1•3•13•0•Updated Apr 15, 2024Apr 15, 2024

• specrepair

  Public
  SpecRepair is a neural network repair algorithm.

  Python

  •

  Apache License 2.0

  •2•3•1•0•Updated Jan 19, 2024Jan 19, 2024

• hyperproperties-supplementary

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

  Python

  •

  MIT License

  •0•0•0•0•Updated Aug 4, 2023Aug 4, 2023

• pmx-nn-repair

  Public
  Neural Network Repair applied to learned pharmacometric models

  Python

  •

  MIT License

  •0•0•0•0•Updated Jul 13, 2023Jul 13, 2023

• symQV

  Public
  0•0•0•0•Updated Dec 6, 2022Dec 6, 2022

• QuantUM

  Public
  0•0•0•0•Updated Oct 17, 2022Oct 17, 2022

• JobScheduler

  Public
  Java

  •

  Other

  •1•1•0•0•Updated May 23, 2022May 23, 2022

• SDN-SafeCheck

  Public
  Python

  •0•0•0•0•Updated Feb 26, 2021Feb 26, 2021

• DyNetiKAT

  Public
  0•0•0•0•Updated Feb 26, 2021Feb 26, 2021

• exsheets.sty-edited

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

  TeX

  •1•0•0•0•Updated Mar 13, 2019Mar 13, 2019