pettni

Amazon Robotics AIAtlanta, GA

Pinned Repositories

arcs
Abstraction-refinement synthesis for temporal logic specifications
Language:Matlab5 4 62
ezconfig
Instantiate C++ Objects from yaml and json
Language:C++5 2 00
jpsl
Jump-point search in three dimensions
Language:C++3 2 01
lp2d
Two-dimensional linear programming
Language:C++2 2 11
mdp_network
Modeling and solutions of stochastic dynamic programming problems
Language:Python3 4 01
palette
A beamerposter theme
Language:TeX2 3 00
posipoly
POSItive POLYnomial optimization (sums of squares, sdsos) for Python
Language:Python1 3 11
smooth
Lie theory for robotics
Language:C++177 8 1119
smooth_feedback
Control and estimation on Lie groups
Language:C++56 4 610
um-thesis
Latex Ph.D. thesis template for the University of Michigan
Language:TeX18 3 110

pettni's Repositories

pettni/smooth
Lie theory for robotics
Language:C++177 8 1119
pettni/smooth_feedback
Control and estimation on Lie groups
Language:C++56 4 610
pettni/um-thesis
Latex Ph.D. thesis template for the University of Michigan
Language:TeX18 3 110
pettni/arcs
Abstraction-refinement synthesis for temporal logic specifications
Language:Matlab5 4 62
pettni/ezconfig
Instantiate C++ Objects from yaml and json
Language:C++5 2 00
pettni/jpsl
Jump-point search in three dimensions
Language:C++3 2 01
pettni/mdp_network
Modeling and solutions of stochastic dynamic programming problems
Language:Python3 4 01
pettni/lp2d
Two-dimensional linear programming
Language:C++2 2 11
pettni/palette
A beamerposter theme
Language:TeX2 3 00
pettni/scr_website
Static website for academic conferences built with Jekyll
Language:HTML2 2 0
pettni/tulip-examples
Examples of discrete synthesis using the TuLiP toolbox
Language:Jupyter Notebook2 3 00
pettni/academic_homepage
Language:JavaScript1 3 03
pettni/pcis
Tool for manipulation of polyhedral controlled-invariant sets
Language:MATLAB1 4 14
pettni/pdf-abstraction
Now developed in the mdp_network repository
Language:Jupyter Notebook1 8 10
pettni/posipoly
POSItive POLYnomial optimization (sums of squares, sdsos) for Python
Language:Python1 3 11
pettni/academic_homepage2
Academic homepage template built with Angular and Bootstrap
Language:TypeScript3 01
pettni/aoc2023
Advent of code
Language:Haskell2 0
pettni/autodiff
automatic differentiation made easier for C++
Language:C++2 0
pettni/CMake
Mirror of CMake upstream repository
Language:C2 0
pettni/dotfiles
Readme in .yadm/
Language:Python3 0
pettni/manif
A small c++11 header-only library for Lie theory.
Language:C++2 01
pettni/mkz
Polysync and Matlab-based control software for a Lincoln MKZ
Language:Matlab3 03
pettni/pettni.github.io
Language:TeX3 0
pettni/rclcpp
rclcpp (ROS Client Library for C++)
Language:C++2 0
pettni/separable_invariance
A method to synthesize separable invariant sets
Language:Matlab2 0
pettni/Sophus
C++ implementation of Lie Groups using Eigen.
Language:C++1 0
pettni/sparse
Sparse multi-dimensional arrays for the PyData ecosystem
Language:Python2 0
pettni/sublime_snippets
Personal snippets for Sublime text (mostly LaTeX and Matlab)
2 0
pettni/tinkering
Experimentation and learning
Language:Jupyter Notebook3 0
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 !
Language:HTML3 0