Explore projects

Git setup for MDST

G_SA = def construct_compromised_SA(G, Sen, compact=False, preprocess=True)

function construct_compromised_SA makes the compromised automaton of the original automaton.

SA, A = def construct_SA(G, spec, Sen, compact=True, preprocess=True)

function construct_SA makes the trimmed arena SA which a supervisor can be extracted from.

Team 27 implementation of Masked ORB-SLAM2 with Depth Prediction

Incomplete Concept Bottleneck Model

MDST Tutorials for Jack Michelini

mdst checkpoints

The central project repo of "Masked ORB-SLAM3: Dynamic Element Exclusion for Autonomous Driving Scenarios Using Masked R-CNN for Increased Localization Accuracy"

Final project for Mobile Robotics Course

Final project for Team 01, ROB 530 (Winter 2022, University of Michigan)