abstract traffic scenario, autonomous driving, constraint solving, constraint systems, scenario concretization, traffic scenarios.
