There are no reviews yet. Be the first to send feedback to the community and the maintainers!
smooth
Lie theory for roboticssmooth_feedback
Control and estimation on Lie groupsum-thesis
Latex Ph.D. thesis template for the University of Michiganarcs
Abstraction-refinement synthesis for temporal logic specificationsezconfig
Instantiate C++ Objects from yaml and jsonjpsl
Jump-point search in three dimensionsmdp_network
Modeling and solutions of stochastic dynamic programming problemsscr_website
Static website for academic conferences built with Jekylllp2d
Two-dimensional linear programmingtulip-examples
Examples of discrete synthesis using the TuLiP toolboxposipoly
POSItive POLYnomial optimization (sums of squares, sdsos) for Pythonpdf-abstraction
Now developed in the mdp_network repositorymode-count
Solve counting problems via integer optimizationacademic_homepage
pcis
Tool for manipulation of polyhedral controlled-invariant setsLove Open Source and this site? Check out how you can help us