Synthesizing approximate implementations for unrealizable specifications

DOI10.1007/978-3-030-25540-4_13arXiv2012.14592OpenAlexW2961049340MaRDI QIDQ6194576

Bernd Finkbeiner, Hazem Torfah, Rayna Dimitrova

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.14592

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Approximate Automata for Omega-Regular Languages