Name		Name	Last commit message	Last commit date
LICENSE.md		LICENSE.md
README.md		README.md
cyclePath.thy		cyclePath.thy
isTramMap.thy		isTramMap.thy
point.thy		point.thy
polygon.thy		polygon.thy
roadMap.thy		roadMap.thy
segment.thy		segment.thy
segmentList.thy		segmentList.thy
tDag.thy		tDag.thy
trapez.thy		trapez.thy
trapezoidalMap.thy		trapezoidalMap.thy

Repository files navigation

motion-planning

verification of a robot motion planning algorithm with Isabelle

in a 2D static world
using trapezoidal map to construct a road map

About

proof of robot motion planning algorithms with Isabelle

GPL-3.0 license

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages