Bounded Cycle Synthesis

DOI10.1007/978-3-319-41528-4_7zbMath1411.68066arXiv1605.01511OpenAlexW2346803815MaRDI QIDQ4633529

Bernd Finkbeiner, Felix Klein

Publication date: 3 May 2019

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

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

Mathematics Subject Classification ID

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

Related Items

Tableaux for realizability of safety specifications, Encodings of Bounded Synthesis