Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.
Jenna ElwingLaura Gamboa-GuzmanJeremy SorkinChiara TravessetZili WangKristin Yvonne RozierPublished in: iFM (2023)
Keyphrases
- regular expressions
- linear temporal logic
- pattern matching
- temporal logic
- finite automata
- model checking
- semistructured data
- regular path queries
- query language
- regular languages
- tree automata
- xml schema
- matching algorithm
- deterministic finite automata
- query evaluation
- databases
- building blocks
- natural language processing
- domain knowledge
- database systems