3 ms·
There's PRISM, which is used for analyzing probabilistic systems: http://www.prismmodelchecker.org/ http://www.prismmodelchecker.org/
by nathanmarz 16y ago
There's PRISM, which is used for analyzing probabilistic systems: http://www.prismmodelchecker.org/ http://www.prismmodelchecker.org/
- aphyr 16y agoOh my god. I have dreamed of, and half-implemented badly, exactly this. Not quite what I was thinking of, but still quite useful for that class of problem. You should submit this as an HN post too. Thanks!
- tel 16y agoThere's also TreeAge which is popular in health informatics (the name is a pun off of "triage") and, perhaps more generally, BUGS/JAGS which can be used to build and test arbitrary Bayesian network models.