Approximate Simulation for Transition Systems with Regular Expressions.

Xinyu Cui Zhaokai Li Yuting Chang Haiyu Pan

Published in: AILA (2022)

Keyphrases

regular expressions
transition systems
pattern matching
model checking
query language
concurrent systems
temporal logic
deterministic finite automata
regular path queries
query evaluation
matching algorithm
learning algorithm
databases
data flow
finite state
control flow
practical reasoning