Bounded synthesis of reactive programs

DOI10.1007/978-3-030-01090-4_26zbMath1517.68236arXiv1807.09047OpenAlexW2883588720MaRDI QIDQ6109601

Felix Klein, Carsten Gerstacker, Bernd Finkbeiner

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Synthesizing Computable Functions from Rational Specifications Over Infinite Words, Practical synthesis of reactive systems from LTL specifications via parity games