Compositional synthesis of modular systems.
Bernd FinkbeinerNoemi PassingPublished in: Innov. Syst. Softw. Eng. (2022)
Keyphrases
- systems require
- expert systems
- management system
- real time
- knowledge based systems
- computer systems
- intelligent systems
- program synthesis
- retrieval systems
- learning systems
- building blocks
- distributed systems
- computational intelligence
- information technology
- reinforcement learning
- three dimensional
- image processing
- computer vision
- search engine
- artificial intelligence
- information retrieval