Compositional Synthesis of Modular Systems.

Bernd Finkbeiner Noemi Passing

Published in: ATVA (2021)

Keyphrases

management system
machine learning
expert systems
building blocks
search engine
computer vision
database systems
mobile robot
intelligent systems
computer systems
computing systems