Monitorable hyperproperties of nonterminating systems.

Morteza Damanafshan Mehran S. Fallah

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

real time
complex systems
image segmentation
wide range
search algorithm
systems require
learning systems
building blocks
management system
recommender systems
trade off
data streams
multi agent
objective function
learning algorithm
machine learning
data mining