Model-based design and verification for robotics.
Contributions:14 PRs, 41 pushes, 15 branches in 2 years 2 months
model-basedmodel-based-designroboticsverification
Software for evaluating pareto-optimal synthesis pathways
Contributions:6 PRs, 16 pushes, 8 branches in 3 months
paretosynthesisoptimalpathways