Compositional Synthesis of Modular Systems (Full Version).

Bernd Finkbeiner Noemi Passing

Published in: CoRR (2021)

Keyphrases

learning systems
database
genetic algorithm
knowledge base
database systems
bayesian networks
search algorithm
multi agent systems
management system
computer systems
complex systems
retrieval systems
systems require