Pinned Repositories
fmrbenchmark
benchmark problems for research in formal methods for robotics
python-control
The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.
BatStack
The Batlab Microphone Array Project
btsynth
gr1py
an enumerative reactive synthesis tool for the GR(1) fragment of LTL
LTL2GBA
Fork of Oddoux and Gastin's ltl2ba (http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/)
magnumSTL
rrgstar
reference implementation of several RRG algorithms for μ-Calculus formulae
scheck
fork of scheck
tulip-control
Temporal Logic Planning toolbox
slivingston's Repositories
slivingston/LTL2GBA
Fork of Oddoux and Gastin's ltl2ba (http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/)
slivingston/btsynth
slivingston/BatStack
The Batlab Microphone Array Project
slivingston/chotha
Chotha is a desktop program to store research notes and citations.
slivingston/LTLMoP
A toolkit for designing and implementing LTL-based task specifications
slivingston/concert_services
Official services supported by rocon.
slivingston/cvxopt
CVXOPT -- Python Software for Convex Optimization
slivingston/doc
documentation for motmot project
slivingston/dummy_mainbrain
slivingston/flydra_viz
slivingston/flymovieformat
support for .fmf (fly movie format) files
slivingston/flytrax
plugin for fview to perform 2D image tracking
slivingston/fview_ext_trig
Python module and firmware for USB camera synchronization device
slivingston/Klampt
Kris' Locomotion and Manipulation Planning Toolkit
slivingston/pylibusb
Python libusb-0.1 ctypes wrapper
slivingston/ros_rigit
A ROS implementation of rigit
slivingston/tool_lists
Links to tools by subject
slivingston/ufmf