Computing Adequately Permissive Assumptions for Synthesis.

Ashwani Anand Kaushik Mallik Satya Prakash Nayak Anne-Kathrin Schmuck

Published in: CoRR (2023)

Keyphrases

artificial intelligence
decision making
trade off
neural network
data mining
multiscale
search algorithm
artificial neural networks
special case
program synthesis
simplifying assumptions