Skip to content

@rcpsl Resilient Cyber-Physical Systems Lab

Change the repository type filter

All

    Repositories list

    15 repositories

    • sam2

      Public
      The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and exam…
      Jupyter Notebook
      •
      Apache License 2.0
      •2.4k•0•0•0•Updated Feb 19, 2025Feb 19, 2025

    • ProPainter

      Public
      [ICCV 2023] ProPainter: Improving Propagation and Transformer for Video Inpainting
      Python
      •
      Other
      •770•0•0•0•Updated Feb 19, 2025Feb 19, 2025

    • Formulazot_CDC

      Public
      A set of packages that were developed to participate in the Autodrive F1tenth CDC 2024 simulation competition. Currently impliments only wallfollow
      C++
      •
      Other
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • PolyAR

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

    • BERN-NN-Implicit

      Public
      Python
      •0•1•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•14•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
      •3•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•3•1•0•Updated Oct 10, 2022Oct 10, 2022

    • Certifair

      Public
      Python
      •0•0•0•0•Updated May 25, 2022May 25, 2022

    • vnn-comp

      Public
      Python
      •7•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