Skip to content
@sabotagelab

sabotagelab

Popular repositories Loading

  1. f110-skeletons-spring2020 f110-skeletons-spring2020 Public

    Skeleton code for F1/10 class(Spring2020)

    C++ 3 3

  2. f110-2019-b f110-2019-b Public

    C++ 2

  3. parallel_reach parallel_reach Public

    Python 2 2

  4. f110-skeletons-spring2019 f110-skeletons-spring2019 Public

    Skeleton code for F1/10 class

    C++ 1 2

  5. phryctoria phryctoria Public

    Code used for the paper "Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals".

    Julia 1 2

  6. F110-OSU-GrandPrix-2023 F110-OSU-GrandPrix-2023 Public

    Code-base for autonomous racing competition 2023.

    Jupyter Notebook 1

Repositories

Showing 10 of 20 repositories
  • phryctoria Public

    Code used for the paper "Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals".

    sabotagelab/phryctoria’s past year of commit activity
    Julia 1 MIT 2 0 0 Updated Oct 11, 2024
  • phryctoria_crazyflie Public
    sabotagelab/phryctoria_crazyflie’s past year of commit activity
    C 0 0 0 0 Updated Aug 26, 2024
  • formal-ethical-obligations Public

    Increase the likelihood that a given policy follows a given deontic obligation.

    sabotagelab/formal-ethical-obligations’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jul 22, 2024
  • F110-OSU-GrandPrix-2023 Public

    Code-base for autonomous racing competition 2023.

    sabotagelab/F110-OSU-GrandPrix-2023’s past year of commit activity
    Jupyter Notebook 1 0 0 0 Updated Feb 24, 2024
  • fair_distributed_planning Public

    Code for generating fair trajectories for robots in distributed manner.

    sabotagelab/fair_distributed_planning’s past year of commit activity
    Python 0 0 0 0 Updated Jul 10, 2023
  • dmon-emsoft23 Public
    sabotagelab/dmon-emsoft23’s past year of commit activity
    Julia 0 0 0 0 Updated Mar 24, 2023
  • async-stl-progression Public Forked from A-N-I-K/CPS_STL_Prog_RE_Package

    Repeatability Evaluation Package for the ICCPS 2023 paper Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems

    sabotagelab/async-stl-progression’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Feb 16, 2023
  • FoMo Public
    sabotagelab/FoMo’s past year of commit activity
    Python 0 0 0 0 Updated Jan 6, 2023
  • generating-mdp-obligations Public

    Model check and generate obligations for Markov decision processes in expected act utilitarian deontic logic.

    sabotagelab/generating-mdp-obligations’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Jul 26, 2022
  • MRA-Monitoring Public
    sabotagelab/MRA-Monitoring’s past year of commit activity
    MATLAB 0 0 0 0 Updated Mar 7, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…