Synthesizing reactive systems from hyperproperties

DOI10.1007/978-3-319-96145-3_16zbMath1511.68153arXiv1905.13511MaRDI QIDQ6045009

Bernd Finkbeiner, Marvin Stenger, Philip Lukert, Christopher Hahn, Leander Tentrup

Publication date: 26 May 2023

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

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

Mathematics Subject Classification ID

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

Related Items

Runtime enforcement of hyperproperties, Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis, HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems, Finite-word hyperlanguages, Synthesis from hyperproperties