Popular repositories Loading

1. C-TuLiP C-TuLiP Public

   This toolbox has been developed for the automatic synthesis of flight software controllers from formal specifications.

   Python 2 1

2. mdp_network mdp_network Public

   Forked from pettni/mdp_network

   Modeling and solutions of stochastic dynamic programming problems

   Python 1

3. dd dd Public

   Forked from tulip-control/dd

   Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

   Python

4. sigrefmc sigrefmc Public

   Forked from utwente-fmt/sigrefmc

   Multi-core symbolic bisimulation minimisation

   C

5. Sampling-Based-Path-Planning-Library Sampling-Based-Path-Planning-Library Public

   Forked from yrouben/Sampling-Based-Path-Planning-Library

   PRM, RRT, RRT*, Informed-RRT* Python impelmentations for 2-D with a simulator. Easily Extendable to N-Dimensions, but would require a N-Dimension collision detection library.

   Jupyter Notebook 1

6. caltech caltech Public

   Forked from rebeckawinqvist/caltech

   Python