Synthesis with Explicit Dependencies.

Priyanka Golia Subhajit Roy Kuldeep S. Meel

Published in: DATE (2023)

Keyphrases

program synthesis
real time
machine learning
wide range
databases
information systems
multi agent systems
information technology
domain knowledge
medical images
data dependencies