Safe Environmental Envelopes of Discrete Systems.

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

Published in: CoRR (2023)

Keyphrases

expert systems
computing systems
management system
computer systems
building blocks
real time
databases
neural network
image processing
evolutionary algorithm
sufficient conditions
knowledge based systems
learning systems
systems require
discrete geometry