@misc{Tóth_Boglárka_G._Verified,
 author={Tóth, Boglárka G. and Kreinovich, Vladik},
 howpublished={online},
 publisher={Zielona Góra: Uniwersytet Zielonogórski},
 language={eng},
 abstract={In many engineering problems, we face multi-objective optimization, with several objective functions f1, . . . , fn. We want to provide the user with the Pareto set - a set of all possible solutions x which cannot be improved in all categories. The user should be able to select an appropriate trade-off between, say, cost and durability. We extend the general results about (verified) algorithmic computability of maxima locations to show that Pareto sets can also be computed.},
 title={Verified methods for computing Pareto sets: General algorithmic analysis},
 type={artykuł},
 keywords={multi-objective optimization, Pareto set, verified computing},
}