An Algebraic Framework for Runtime Verification.

Stefan Jaksic Ezio Bartocci Radu Grosu Dejan Nickovic

Published in: CoRR (2018)

Keyphrases

theoretical framework
main contribution
framework enables
lightweight
multi agent systems
data sets
probabilistic model
computational framework
model checking
computational model
distributed systems
data streams
optimal solution
multi agent
multiscale
e learning
computer vision
information retrieval