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/gr1py
an enumerative reactive synthesis tool for the GR(1) fragment of LTL
slivingston/magnumSTL
slivingston/rrgstar
reference implementation of several RRG algorithms for μ-Calculus formulae
slivingston/scheck
fork of scheck
slivingston/rcomp
lowering the barrier to using tools developed as part of research
slivingston/SCA
JPL Statechart Autocoder
slivingston/catkin_tools
Command line tools for working with catkin
slivingston/cs-space-mission
slivingston/docs
Helium Documentation
slivingston/floras
Flow-based Reactive Test Synthesis for Autonomous Systems
slivingston/goodfet
An embedded bus adapter for various microcontrollers and radios.
slivingston/hri-papers-for-industry
HRI Papers for Industry
slivingston/kobuki
Software for iClebo Kobuki
slivingston/kobuki_core
Core (non-ros) kobuki packages.
slivingston/longfi-platformio
slivingston/misc
my sundry code, etc., too small to deserve a dedicted repository
slivingston/misty_py
async rest API implementation for misty robots
slivingston/nTLP
slivingston/open-iot-stem
One Planet Education Network IoT STEM Education Kit
slivingston/open_manipulator_p
OpenManipulator-P for controlling in Gazebo and Moveit with ROS
slivingston/pacti
A package for compositional system analysis and design
slivingston/pacti-org.github.io
Website
slivingston/ProjectKerosene
slivingston/ptrack
slivingston/rosdistro
This repo maintains a lists of repositories for each ROS distribution
slivingston/slugs
SmalL bUt Complete GROne Synthesizer
slivingston/turtlebot
The turtlebot stack provides all the basic drivers for running and using a TurtleBot.
slivingston/VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
slivingston/webcam-streamer
Dead simple USB webcam streaming over the internet
slivingston/You-Dont-Know-JS
A book series on JavaScript. @YDKJS on twitter.