Gross, Dennis

1. COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
   2022/09/15 by Dennis C. Gross, Nils Jansen, Gross, Dennis +5 · 5 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
2. Robustness Verification for Classifier Ensembles
   2020/05/12 by Gross, Dennis, Jansen, Nils, Pérez, Guillermo A. +1 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
3. 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
4. Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
   2024/03/27 by Dennis C. Gross, Helge Spieker, Gross, Dennis +1 · 2 citations
   Computer Science · #Formal Methods in Verification
5. Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking
   2022/12/10 by Gross, Dennis, Simao, Thiago D., Jansen, Nils +1 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG)