Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic.

Yusuke Kawamoto Tetsuya Sato Kohei Suenaga

Published in: KR (2021)

Keyphrases

hypothesis testing
likelihood ratio
statistical tests
recursive algorithm
hypothesis tests
propositional dynamic logic
hypothesis test
robust statistical
confidence intervals
likelihood ratio test
decision making
null hypothesis
modal logic
statistically significant
test statistic