Pinned Repositories
C-TuLiP
This toolbox has been developed for the automatic synthesis of flight software controllers from formal specifications.
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
mdp_network
Modeling and solutions of stochastic dynamic programming problems
modred
Modred main repository
shaesaert's Repositories
shaesaert/C-TuLiP
This toolbox has been developed for the automatic synthesis of flight software controllers from formal specifications.
shaesaert/mdp_network
Modeling and solutions of stochastic dynamic programming problems
shaesaert/caltech
shaesaert/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
shaesaert/deepSI
Dynamical System Identification using python incorporating numerous powerful deep learning methods. (deepSI = deep System Identification)
shaesaert/GameOfTag
Simple example of approximate stochastic verification with model order reduction
shaesaert/gdtl-firm
GDTL FIRM planner
shaesaert/homebrew-deps
Homebrew Formula for common system ROS dependencies
shaesaert/homebrew-formal
Homebrew formulae for formal methods
shaesaert/modred
Modred main repository
shaesaert/polytope
Geometric operations on polytopes of any dimension
shaesaert/POMDPy
POMDPs in Python.
shaesaert/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.
shaesaert/sigrefmc
Multi-core symbolic bisimulation minimisation
shaesaert/sNMPC
Matlab toolbox for computing terminal costs and sets for stabilizing nonlinear MPC