sabotagelab

f110-skeletons-spring2020

Skeleton code for F1/10 class(Spring2020)

f110-2019-b

parallel_reach

F110-OSU-GrandPrix-2023

Code-base for autonomous racing competition 2023.

f110-skeletons-spring2019

Skeleton code for F1/10 class

phryctoria

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

f110-2019-c

submissions for class

f110-2019-d

FoMo

formal-ethical-obligations

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

generating-mdp-obligations

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

Graph_neural_network_experiment

hscc2019

Code and paper for HSCC2019 paper TL Robustness for General Signal Classes

MC-DAU

Model check systems for obligations

dmon-emsoft23

fair_distributed_planning

Code for generating fair trajectories for robots in distributed manner.

FairFly

Code for FairFly, the fair temporal logic controller

MRA-Monitoring

phryctoria_crazyflie