Popular repositories Loading

1. BluSTL BluSTL Public

   BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signal Temporal Logic.

   MATLAB 2

2. LTLMoP LTLMoP Public

   Forked from VerifiableRobotics/LTLMoP

   A toolkit for designing and implementing LTL-based task specifications

   Python 1

3. slugs slugs Public

   Forked from VerifiableRobotics/slugs

   SmalL bUt Complete GROne Synthesizer

   Graphviz (DOT) 1

4. Party Party Public

   Forked from 5nizza/Party

   Parameterized Synthesis of Token Rings

   Python

5. vraman.github.io vraman.github.io Public

   HTML

6. sam-3d-body sam-3d-body Public

   Forked from facebookresearch/sam-3d-body

   The repository provides code for running inference with the SAM 3D Body Model (3DB), links for downloading the trained model checkpoints and datasets, and example notebooks that show how to use the…

   Python