Skip to content
@rcpsl

Resilient Cyber-Physical Systems Lab

Popular repositories Loading

  1. SMC-LTL SMC-LTL Public

    SMC-LTL: SMC-Based LTL MultiRobot Motion Planner

    Python 13 3

  2. DeepBern-Nets DeepBern-Nets Public

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

    Python 3 2

  3. Neurosymbolic_planning Neurosymbolic_planning Public

    Python 2 1

  4. Workspace_partitioner Workspace_partitioner Public

    Partition a given workspace to laser adapted regions

    Python 1

  5. PeregriNN PeregriNN Public

    Feed forward NN Verification framework

    Python 1 3

  6. PolyAR PolyAR Public

    Python 1

Repositories

Showing 10 of 14 repositories
  • sam2 Public Forked from facebookresearch/sam2

    The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use the model.

    Jupyter Notebook 0 Apache-2.0 1,557 0 0 Updated Feb 19, 2025
  • ProPainter Public Forked from sczhou/ProPainter

    [ICCV 2023] ProPainter: Improving Propagation and Transformer for Video Inpainting

    Python 0 700 0 0 Updated Feb 19, 2025
  • PolyAR Public
    Python 1 0 0 0 Updated Nov 8, 2024
  • BERN-NN-Implicit Public
    Python 0 0 0 0 Updated Sep 26, 2024
  • PolyARBerNN Public
    Python 0 0 0 0 Updated Dec 15, 2023
  • SMC-LTL Public

    SMC-LTL: SMC-Based LTL MultiRobot Motion Planner

    Python 13 MIT 3 0 0 Updated Jul 24, 2023
  • DeepBern-Nets Public

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

    Python 3 BSD-3-Clause 2 0 0 Updated Jun 25, 2023
  • PeregriNN Public

    Feed forward NN Verification framework

    Python 1 MIT 3 0 0 Updated Apr 4, 2023
  • Neurosymbolic_planning Public
    Python 2 1 0 0 Updated Oct 10, 2022
  • Certifair Public
    Python 0 0 0 0 Updated May 25, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…