We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: MORA -- Automatic Generation of Moment-Based Invariants

Abstract: We introduce MORA, an automated tool for generating invariants of probabilistic programs. Inputs to MORA are so-called Prob-solvable loops, that is probabilistic programs with polynomial assignments over random variables and parametrized distributions. Combining methods from symbolic computation and statistics, MORA computes invariant properties over higher-order moments of loop variables, expressing, for example, statistical properties, such as expected values and variances, over the value distribution of loop variables.
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
Cite as: arXiv:2103.03908 [cs.FL]
  (or arXiv:2103.03908v1 [cs.FL] for this version)

Submission history

From: Miroslav Stankovic [view email]
[v1] Fri, 5 Mar 2021 19:36:10 GMT (307kb,D)

Link back to: arXiv, form interface, contact.