@misc{indiciae821cbd48334d,
  title = {Computing Adequately Permissive Assumptions for Synthesis},
  author = {Ashwani Anand and Kaushik Mallik and Satya Prakash Nayak and Anne-Kathrin Schmuck},
  year = {2023},
  doi = {10.1007/978-3-031-30820-8\_15},
  url = {https://arxiv.org/abs/2301.07563},
  note = {Source identifier: 2301.07563}
}