Visual Analysis of Hyperproperties for Understanding Model Checking Results.
Horak T, Coenen N, Metzger N, Hahn C, Flemisch T, Mendez J, Dimov D, Finkbeiner B, Dachselt R.
Horak T, et al. Among authors: dachselt r.
IEEE Trans Vis Comput Graph. 2022 Jan;28(1):357-367. doi: 10.1109/TVCG.2021.3114866. Epub 2021 Dec 24.
IEEE Trans Vis Comput Graph. 2022.
PMID: 34587083