Good-enough synthesis
From MaRDI portal
Publication:2226757
DOI10.1007/978-3-030-53291-8_28zbMath1478.68141arXiv2109.03594MaRDI QIDQ2226757
Orna Kupferman, Shaull Almagor
Publication date: 9 February 2021
Full work available at URL: https://arxiv.org/abs/2109.03594
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)