Coenen, Norine

1. 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)
2. Causality-Based Game Solving
   2021/05/29 by Baier, Christel, Coenen, Norine, Finkbeiner, Bernd +3 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. 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)