-
🔭 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
