jadecastro

Jonathan DeCastro jadecastro

Achievements

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

drake drake Public

Forked from RobotLocomotion/drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at

C++
LTLMoP LTLMoP Public

Forked from VerifiableRobotics/LTLMoP

A toolkit for designing and implementing LTL-based task specifications

Python 1
reasyns reasyns Public

REActive SYnthesis for Nonlinear Systems: a Matlab toolbox

MATLAB 1 1
slugs slugs Public

Forked from VerifiableRobotics/slugs

SmalL bUt Complete GROne Synthesizer

C++