Parameter synthesis in robot motion planning using symbolic reachability computation