HBexperiments A description of several
experiments made to modify Hierarchy Builder to make the formal language
more mathematician- or student-friendly. Each experiment is available as
a branch in the
Hierarchy
Builder source repository
Demos
trajectories A program to compute trajectories between obstacles. The sources of this program are available here