Solving quantified constraint satisfaction problems with applications to control

Éric Goubault, Nuwan Herath Mudiyanselage, Sylvie Putot

Many problems in control can be expressed as quantified constraints, such as robust forward and backward reachability, synthesis of controllers, solutions to motion planning proble…