Horak, Tom
- Visual Analysis of Hyperproperties for Understanding Model Checking Results
2021/08/08 by Horak, Tom, Coenen, Norine, Metzger, Niklas +6 · 3 citations
#FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Logic in Computer Science (cs.LO)
- Explaining Hyperproperty Violations
2022/06/04 by Coenen, Norine, Dachselt, Raimund, Finkbeiner, Bernd +5 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)