prepare_multiobjective_result_for_plotting

prepare_multiobjective_result_for_plotting(
result: ExplicitParetoCurveCheckResult,
lower_corner: Sequence[float],
upper_corner: Sequence[float],
formula: MultiObjectiveFormula,
) → list[ndarray]

Takes a multiobjective model checking results and prepares it for plotting.

Parameters:

  • result – The multiobjective model checking result for a two-dimensional query.

  • lower_corner – The lower left corner used for plotting

  • upper_corner – The upper right corner used for plotting

  • formula – The multiobjective formula

Returns:

A list with two arrays of points representing an under- and overapproximation of the vertices