Safe Environmental Envelopes of Discrete Systems.

Rômulo Meira-Góes Ian Dardik Eunsuk Kang Stéphane Lafortune Stavros Tripakis

Published in: CAV (1) (2023)

Keyphrases

data mining
complex systems
real time
image processing
expert systems
learning systems
database
social networks
knowledge base
data streams
digital libraries
relational databases
intelligent systems
building blocks