Realizing \(\omega\)-regular hyperproperties
From MaRDI portal
Publication:2226720
DOI10.1007/978-3-030-53291-8_4zbMath1478.68157arXiv2101.07161OpenAlexW3042541527MaRDI QIDQ2226720
Christopher Hahn, Leander Tentrup, Jana Hofmann, Bernd Finkbeiner
Publication date: 9 February 2021
Full work available at URL: https://arxiv.org/abs/2101.07161
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Model checking algorithms for hyperproperties (invited paper), A semantic model for interacting cyber-physical systems
