Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

Mikhail M. Chupilko Alexander S. Kamkin

Published in: MBT (2013)

Keyphrases

knowledge base
matching algorithm
neural network
probabilistic model
model selection
parameter estimation
complex systems
petri net
social networks
website
graphical models
feature points
classification models
feature matching