Computing Adequately Permissive Assumptions for Synthesis.

Ashwani Anand Kaushik Mallik Satya Prakash Nayak Anne-Kathrin Schmuck

Published in: TACAS (2) (2023)

Keyphrases

real time
knowledge base
three dimensional
expert systems
program synthesis
simplifying assumptions