TeSSLa: runtime verification of non-synchronized real-time streams.

Martin Leucker César Sánchez Torben Scheffel Malte Schmitz Alexander Schramm

Published in: SAC (2018)

Keyphrases

real time
control system
neural network
learning algorithm
low cost
high fidelity
data streams
general purpose
high speed
model checking
data sets
image sequences
face verification
event driven
multi stream
continuous stream