Petter Nilsson

smooth. Lie theory for robotics

smooth_feedback. Control and estimation on Lie groups

um-thesis. Latex Ph.D. thesis template for the University of Michigan

ezconfig. Instantiate C++ Objects from yaml and json

arcs. Abstraction-refinement synthesis for temporal logic specifications

mdp_network. Modeling and solutions of stochastic dynamic programming problems

scr_website. Static website for academic conferences built with Jekyll

jpsl. Jump-point search in three dimensions

palette. A beamerposter theme

tulip-examples. Examples of discrete synthesis using the TuLiP toolbox

posipoly. POSItive POLYnomial optimization (sums of squares, sdsos) for Python

lp2d. Two-dimensional linear programming

pcis. Tool for manipulation of polyhedral controlled-invariant sets

mode-count. Solve counting problems via integer optimization

pdf-abstraction. Now developed in the mdp_network repository

academic_homepage. JavaScript