Login / Signup
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.
Jenna Elwing
Laura Gamboa-Guzman
Jeremy Sorkin
Chiara Travesset
Zili Wang
Kristin Yvonne Rozier
Published 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