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.

    rcpsl/sam2’s past year of commit activity
    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

    rcpsl/ProPainter’s past year of commit activity
    Python 0 700 0 0 Updated Feb 19, 2025
  • PolyAR Public
    rcpsl/PolyAR’s past year of commit activity
    Python 1 0 0 0 Updated Nov 8, 2024
  • BERN-NN-Implicit Public
    rcpsl/BERN-NN-Implicit’s past year of commit activity
    Python 0 0 0 0 Updated Sep 26, 2024
  • PolyARBerNN Public
    rcpsl/PolyARBerNN’s past year of commit activity
    Python 0 0 0 0 Updated Dec 15, 2023
  • SMC-LTL Public

    SMC-LTL: SMC-Based LTL MultiRobot Motion Planner

    rcpsl/SMC-LTL’s past year of commit activity
    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

    rcpsl/DeepBern-Nets’s past year of commit activity
    Python 3 BSD-3-Clause 2 0 0 Updated Jun 25, 2023
  • PeregriNN Public

    Feed forward NN Verification framework

    rcpsl/PeregriNN’s past year of commit activity
    Python 1 MIT 3 0 0 Updated Apr 4, 2023
  • Neurosymbolic_planning Public
    rcpsl/Neurosymbolic_planning’s past year of commit activity
    Python 2 1 0 0 Updated Oct 10, 2022
  • Certifair Public
    rcpsl/Certifair’s past year of commit activity
    Python 0 0 0 0 Updated May 25, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…