Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup. Synthesis from hyperproperties. Acta Informatica, 57(1):137-163, 2020. [doi]
@article{FinkbeinerHLST20,
title = {Synthesis from hyperproperties},
author = {Bernd Finkbeiner and Christopher Hahn and Philip Lukert and Marvin Stenger and Leander Tentrup},
year = {2020},
doi = {10.1007/s00236-019-00358-2},
url = {https://doi.org/10.1007/s00236-019-00358-2},
researchr = {https://researchr.org/publication/FinkbeinerHLST20},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {57},
number = {1},
pages = {137-163},
}