Revision 4ffcfdf778f6d96b3fc8c32a153847d6d71f51ec authored by joonho112 on 17 September 2023, 17:10:01 UTC, committed by joonho112 on 17 September 2023, 17:10:01 UTC
1 parent edf8507
Raw File
normal_censored.stan
data {
  real U;
  int<lower=0> N_censored;
  int<lower=0> N_observed;
  array[N_observed] real<upper=U> y;
}
parameters {
  real mu;
}
model {
  for (n in 1 : N_observed) {
    y[n] ~ normal(mu, 1.0) T[ , U];
  }
  target += N_censored * normal_lccdf(U | mu, 1);
}
back to top