Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.
Sinem GetirEsteban PaveseLars GrunskePublished in: CS&P (2018)
Keyphrases
- formal semantics
- regular expressions
- pattern matching
- logical language
- query language
- finite automata
- xml schema
- deterministic finite automata
- modeling language
- first order logic
- matching algorithm
- regular languages
- owl dl ontology
- regular path queries
- query evaluation
- model checking
- probabilistic model
- operational semantics
- modelling language
- bayesian networks
- context free grammars
- query containment
- data model
- database