Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt. Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph., 28(1):357-367, 2022. [doi]
Abstract is missing.