Login / Signup
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