Temporal graph patterns by timed automata.

Amir Pouya Aghasadeghi Jan Van den Bussche Julia Stoyanovich

Published in: CoRR (2022)

Keyphrases

timed automata
graph patterns
model checking
theorem prover
graph mining
pattern mining
theorem proving
first order logic
graph data
databases
real time systems
database
similarity search
regular expressions
frequent itemset mining