stormpy.plotting

Helpers for plotting Pareto curves of two-dimensional multi-objective queries.

Requires the plot extra: pip install stormpy[plot].

Functions

plot_convex_pareto_curve_demo(ax, ...)
prepare_multiobjective_result_for_plotting(...)	Takes a multiobjective model checking results and prepares it for plotting.