Pages that link to "Item:Q5164850"
From MaRDI portal
The following pages link to Quantitative Verification of Stochastic Regular Expressions (Q5164850):
Displaying 4 items.
- On the quantitative semantics of regular expressions over real-valued signals (Q1683449) (← links)
- Analysis of an efficient reduction algorithm for random regular expressions based on universality detection (Q2117090) (← links)
- Efficient testing and matching of deterministic regular expressions (Q2402370) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5244782) (← links)