Extend SimB estimation techniques

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

6 stars 0 forks source link

Extend SimB estimation techniques #122

Open favu100 opened 2 years ago

favu100 commented 2 years ago

The modeler should be able to estimate values other than probabilities, such as expected values for appearance, or time. Regarding the future, there should be more estimators. Currently, SimB only implements the mean estimator

favu100 commented 6 months ago

Some new estimations were implemented in the context of validation RL agents, including sum and mean values for expressions over (parts of) a trace

favu100 commented 6 months ago

Still, we could improve the estimation of time