arXiv 2001-05-11 EN Solving Composed First-Order Constraints from Discrete-Time Robust Control Ratschan, Stefan · Jaulin, Luc