shaesaert

C-TuLiP

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

mdp_network

Modeling and solutions of stochastic dynamic programming problems

caltech

dd

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

deepSI

Dynamical System Identification using python incorporating numerous powerful deep learning methods. (deepSI = deep System Identification)

GameOfTag

Simple example of approximate stochastic verification with model order reduction

gdtl-firm

GDTL FIRM planner

homebrew-deps

Homebrew Formula for common system ROS dependencies

homebrew-formal

Homebrew formulae for formal methods

modred

Modred main repository

polytope

Geometric operations on polytopes of any dimension

POMDPy

POMDPs in Python.

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.

sigrefmc

Multi-core symbolic bisimulation minimisation

sNMPC

Matlab toolbox for computing terminal costs and sets for stabilizing nonlinear MPC