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 12 3

  2. DeepBern-Nets DeepBern-Nets Public

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

    Python 3 1

  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 12 repositories
  • 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 12 MIT 3 0 0 Updated Jul 24, 2023
  • PolyAR Public
    rcpsl/PolyAR’s past year of commit activity
    Python 1 0 0 0 Updated Jul 8, 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 1 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
  • vnn-comp Public Forked from verivital/vnn-comp
    rcpsl/vnn-comp’s past year of commit activity
    Python 0 8 0 0 Updated Jul 20, 2020
  • ReluVerify Public

    Verification of Neural network with Relu activation

    rcpsl/ReluVerify’s past year of commit activity
    Python 0 0 0 0 Updated Jun 6, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…