Pinned Repositories
arcs
Abstraction-refinement synthesis for temporal logic specifications
ezconfig
Instantiate C++ Objects from yaml and json
jpsl
Jump-point search in three dimensions
lp2d
Two-dimensional linear programming
mdp_network
Modeling and solutions of stochastic dynamic programming problems
palette
A beamerposter theme
posipoly
POSItive POLYnomial optimization (sums of squares, sdsos) for Python
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
pettni's Repositories
pettni/smooth
Lie theory for robotics
pettni/smooth_feedback
Control and estimation on Lie groups
pettni/um-thesis
Latex Ph.D. thesis template for the University of Michigan
pettni/arcs
Abstraction-refinement synthesis for temporal logic specifications
pettni/ezconfig
Instantiate C++ Objects from yaml and json
pettni/jpsl
Jump-point search in three dimensions
pettni/mdp_network
Modeling and solutions of stochastic dynamic programming problems
pettni/lp2d
Two-dimensional linear programming
pettni/palette
A beamerposter theme
pettni/scr_website
Static website for academic conferences built with Jekyll
pettni/tulip-examples
Examples of discrete synthesis using the TuLiP toolbox
pettni/academic_homepage
pettni/pcis
Tool for manipulation of polyhedral controlled-invariant sets
pettni/pdf-abstraction
Now developed in the mdp_network repository
pettni/posipoly
POSItive POLYnomial optimization (sums of squares, sdsos) for Python
pettni/academic_homepage2
Academic homepage template built with Angular and Bootstrap
pettni/aoc2023
Advent of code
pettni/autodiff
automatic differentiation made easier for C++
pettni/CMake
Mirror of CMake upstream repository
pettni/dotfiles
Readme in .yadm/
pettni/manif
A small c++11 header-only library for Lie theory.
pettni/mkz
Polysync and Matlab-based control software for a Lincoln MKZ
pettni/pettni.github.io
pettni/rclcpp
rclcpp (ROS Client Library for C++)
pettni/separable_invariance
A method to synthesize separable invariant sets
pettni/Sophus
C++ implementation of Lie Groups using Eigen.
pettni/sparse
Sparse multi-dimensional arrays for the PyData ecosystem
pettni/sublime_snippets
Personal snippets for Sublime text (mostly LaTeX and Matlab)
pettni/tinkering
Experimentation and learning
pettni/Ultra-Square-Catcher-USC-
You are a green square catcher. Your goal is to catch blue squares in order to increase your score. But be carefull: the evil red square is jealous and wants to steal your score points !