search

hlsyounes / ymer

Probabilistic model checker
GNU General Public License v2.0
4 stars 1 forks source link

Approximation with phase-type distributions is broken (and likely never worked) #9

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
I discovered and fixed a few bugs already in the code that approximates 
non-exponential distributions with phase-type distributions, which makes me 
doubt that this feature of Ymer 3 ever worked properly.  The results from the 
numeric computation of probabilities still seem suspicious, so it is likely 
that the approximation code still is buggy.

Original issue reported on code.google.com by hlsyou...@gmail.com on 29 May 2012 at 12:59

GoogleCodeExporter commented 9 years ago

Original comment by hlsyou...@gmail.com on 29 May 2012 at 12:59