Pushing Runtime Verification to the Limit: May Process Semantics Be With Us.

Dario Della Monica Adrian Francalanza

Published in: OVERLAY@AI*IA (2019)

Keyphrases

formal semantics
neural network
artificial intelligence
clustering algorithm
similarity measure
artificial neural networks
development process