Search Results - RepositoryStats

2 results found Sort:

226

other

Scalable symbolic-numeric set computations in Julia

sets julia calculus geometry polygons zonotope polyhedra convex-hull convex-sets projections minkowski-sum lazy-evaluation set-propagation formal-verification geometry-algorithms reachability-analysis computational-geometry

Created 2017-10-03

5,642 commits to master branch, last one 13 hours ago

gpl-3.0

[T-RO] Highway RoadMap (HRM) paradigm for robot motion planning based on parameterizations of the free space

minkowski-sum path-planning motion-planning computational-geometry

Created 2022-10-20

618 commits to main branch, last one 12 months ago