Timed Trace Alignment with Metric Temporal Logic over Finite Traces.

Giuseppe De Giacomo Aniello Murano Fabio Patrizi Giuseppe Perelli

Published in: KR (2021)

Keyphrases

metric temporal logic
execution traces
petri net
image alignment
finite number
real time
finite automata
data sets
word alignment
bayesian networks
dynamic time warping
evolutionary algorithm
discrete event
three dimensional
social networks
artificial intelligence
timed automata
unit length
neural network