Modules

Here is a list of all modules:

Problem domain: Scaling chains of integrators	Problems in this domain require construction of a controller—if one exists—for a chain of integrators so that resulting trajectories satisfy a reach-and-avoid specification
Problem domain: Traffic network of Dubins cars	Problems in this domain involve navigation in a small network of two-lane roads with vehicles that have Dubins car dynamics