activity
20012023
most citedApplications of Quantified Constraint Solving over the Reals -- Bibliography

7 citations · 13 across the 16 of their papers we have counts for

collaborators
Showing 2016 · math.OCShow all

1 paper · 2 filters

math.OC2016

Solving Reachability Problems by a Scalable Constrained Optimization Method

Jan Kuratko, Stefan Ratschan

In this paper we consider the problem of finding an evolution of a dynamical system that originates and terminates in given sets of states. However, if such an evolution exists the…