Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Documenti analoghi

• Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
  di: Kofnov, Andrey, et al.
  Pubblicazione: (2022)
• Moment-based Density Elicitation with Applications in Probabilistic Loops
  di: Kofnov, Andrey, et al.
  Pubblicazione: (2023)
• Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs
  di: Kofnov, Andrey, et al.
  Pubblicazione: (2025)
• Bootstrap Pettitt test for detecting change point in hydroclimatological data: a case study for Itaipu hydroelectric plant in Brazil
  di: Conte, Luiza Chiarelli, et al.
  Pubblicazione: (2024)
• Why Empirical p-Values Are Not Uniform: Reference Samples, Dependence, and PIT Backtesting
  di: Lis, Jakub
  Pubblicazione: (2026)