Moment-based Density Elicitation with Applications in Probabilistic Loops

Documenti analoghi

• Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
  di: Kofnov, Andrey, et al.
  Pubblicazione: (2022)
• Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
  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)
• Asymptotic e-processes
  di: Massiani, Pierre-François, et al.
  Pubblicazione: (2026)
• Fast exact simulation of the first passage of a tempered stable subordinator across a non-increasing function
  di: Cázares, Jorge Ignacio González, et al.
  Pubblicazione: (2023)