Monitoring hyperproperties

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. Monitoring hyperproperties. Formal Methods in System Design, 54(3):336-363, 2019. [doi]

@article{FinkbeinerHST19,
  title = {Monitoring hyperproperties},
  author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup},
  year = {2019},
  doi = {10.1007/s10703-019-00334-z},
  url = {https://doi.org/10.1007/s10703-019-00334-z},
  researchr = {https://researchr.org/publication/FinkbeinerHST19},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {54},
  number = {3},
  pages = {336-363},
}