Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander Synthesis from hyperproperties. (English) Zbl 1435.68194 Acta Inf. 57, No. 1-2, 137-163 (2020). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{B. Finkbeiner} et al., Acta Inf. 57, No. 1--2, 137--163 (2020; Zbl 1435.68194) Full Text: DOI arXiv
Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander Monitoring hyperproperties. (English) Zbl 1425.68254 Form. Methods Syst. Des. 54, No. 3, 336-363 (2019). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{B. Finkbeiner} et al., Form. Methods Syst. Des. 54, No. 3, 336--363 (2019; Zbl 1425.68254) Full Text: DOI arXiv