Justness - A Completeness Criterion for Capturing Liveness Properties (Extended Abstract).

Rob van Glabbeek

Published in: FoSSaCS (2019)

Keyphrases

extended abstract
neural network
feature selection
structural properties
desirable properties
data sets
information retrieval
learning algorithm
image processing
objective function
natural language
data streams
multiresolution
mobile robot