search

UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.
http://www.uppaal.org
1 stars 0 forks source link

How to set hypothesis testing parameters to get more accurate conclusions? #240

Open fqss0436 opened 10 months ago

fqss0436 commented 10 months ago

1.Bug: In the SMC parameter GUI, "false negative(α)" is wrong, it is actually false positive. "false positive(β)" as similarly.

2.Question1:How to set hypothesis testing parameters(+δ,-δ,α,β) to get more accurate conclusions?What is the significance of parameters(+δ,-δ) ? Why cannot these parameter be set to 0, and why must indifference region exist?

3.Question2:In Query Result window, for example, (17244/117236 runs) H1:Pr()<=XX(prove H1 valid), if the hypothesis testing parameters(+δ,-δ,α,β) changes,is it possiable that the same (17244/117236 runs) get different result (prove H0 valid)?

mikucionisaau commented 10 months ago

The answers for 2 and 3 are in the discussion: https://github.com/orgs/UPPAALModelChecker/discussions/239