Spieker, Helge

1. A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits
   2020/11/12 by Herbold, Steffen, Trautsch, Alexander, Ledel, Benjamin +45 · 8 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies
   2024/09/16 by Dennis C. Gross, Helge Spieker, Gross, Dennis +1 · 3 citations
   Psychology · #Behavioral and Psychological Studies
3. Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
   2024/03/27 by Dennis C. Gross, Gross, Dennis, Helge Spieker +1 · 2 citations
   Computer Science · #Formal Methods in Verification