An Optimization Approach to Verifying and Synthesizing K-cooperative Systems.

Dimitris Kousoulidis Fulvio Forni

Published in: CoRR (2019)

Keyphrases

cooperative
databases
management system
intelligent systems
information retrieval
optimization process
multiscale
multi agent
multi agent systems
scheduling problem
optimization problems
global optimization