Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions