Towards Pareto-optimal parameter synthesis for monotonic cost functions.

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio

Browse the full FMCAD paper archive.