-
๐ญ Iโm currently working on verifying and synthesizing new controls for stochastic (robotic) systems to satisfy or increase the probability to satisfy a high-level specification of tasks and maintain safety
-
๐ฏ Iโm looking to collaborate on robotic research projects
sguysc / spotless Goto Github PK
View Code? Open in Web Editor NEWThis project forked from spot-toolbox/spotless
A fork of the Systems Polynomial Optimization Toolbox.