VolTRE v0.0.0 - Pre-release

VolTRE v0.0.0 - Pre-release

This is the initial pre-publication release of VolTRE, a tool for volumetry and uniform sampling in timed regular expressions (TREs). Version v0.0.0 is intended for early testing and feedback.

Overview

VolTRE provides novel methods for:

• Volumetry for TREs: Compute exact volume functions for unambiguous TRE without intersection.
• Slice Sampling for TREs: Sample the language slice $L_n^\varphi(T)$ such that all timed words accepted by $\varphi$ are equally probable.
• General Sampling for TRE: Extends sampling to ambiguous expressions and expressions with intersection.
• Probabilistic Checks: Get probabilistic guarantees for language inclusion and volume estimation.

For more details, see our associated paper, "Slice Sampling for Timed Regular Languages" (link to follow on publication).

Contributors

• Benoît Barbot (Univ Paris Est Creteil)
• Ezio Bartocci (TU Wien)
• Nicolas Basset (Univ. Grenoble Alpes)
• Thao Dang (Univ. Grenoble Alpes)
• Felix Gigler (AIT Austrian Institute of Technology, TU Wien)
• Dejan Nickovic (AIT Austrian Institute of Technology)

Developed by Felix Gigler. Please reach out for questions or feedback.