A simple hierarchy for computing controlled invariant sets.

Tzanis Anevlavis Paulo Tabuada

Published in: HSCC (2020)

Keyphrases

real world
higher level
data sets
databases
machine learning
information retrieval
artificial intelligence
information systems
color images