fmrbenchmark
0.0.4

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 reachandavoid specification 
Problem domain: Traffic network of Dubins cars  Problems in this domain involve navigation in a small network of twolane roads with vehicles that have Dubins car dynamics 