Repositories list

• PolyAR

  Public
  Python

  •0•1•0•0•Updated Nov 8, 2024Nov 8, 2024

• BERN-NN-Implicit

  Public
  Python

  •0•0•0•0•Updated Sep 26, 2024Sep 26, 2024

• PolyARBerNN

  Public
  Python

  •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

• SMC-LTL

  Public
  SMC-LTL: SMC-Based LTL MultiRobot Motion Planner

  Python

  •

  MIT License

  •3•13•0•0•Updated Jul 24, 2023Jul 24, 2023

• DeepBern-Nets

  Public
  Code for DeepBern-Nets. Neural Networks with Bernstein Polynomial based activation functions

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •2•3•0•0•Updated Jun 25, 2023Jun 25, 2023

• PeregriNN

  Public
  Feed forward NN Verification framework

  Python

  •

  MIT License

  •3•1•0•0•Updated Apr 4, 2023Apr 4, 2023

• Neurosymbolic_planning

  Public
  Python

  •1•2•0•0•Updated Oct 10, 2022Oct 10, 2022

• Certifair

  Public
  Python

  •0•0•0•0•Updated May 25, 2022May 25, 2022

• vnn-comp

  Public
  Python

  •8•0•0•0•Updated Jul 20, 2020Jul 20, 2020

• ReluVerify

  Public
  Verification of Neural network with Relu activation

  Python

  •0•0•0•0•Updated Jun 6, 2020Jun 6, 2020

• SMTControllerSynthesizer

  Public
  MATLAB

  •0•0•0•0•Updated May 13, 2020May 13, 2020

• Workspace_partitioner

  Public
  Partition a given workspace to laser adapted regions

  Python

  •0•1•0•0•Updated Aug 27, 2019Aug 27, 2019