Search Results for author: Dennis Gross

Found 6 papers, 2 papers with code

Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods

no code implementations27 Mar 2024 Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch

This research presents a method that utilizes explainability techniques to amplify the performance of machine learning (ML) models in forecasting the quality of milling processes, as demonstrated in this paper through a manufacturing use case.

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies

no code implementations27 Mar 2024 Dennis Gross, Helge Spieker

We introduce a method to verify stochastic reinforcement learning (RL) policies.

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

3 code implementations15 Sep 2022 Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Perez

This paper presents COOL-MC, a tool that integrates state-of-the-art reinforcement learning (RL) and model checking.

OpenAI Gym reinforcement-learning +1

Robustness Verification for Classifier Ensembles

no code implementations12 May 2020 Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers

The robustness-checking problem consists of assessing, given a set of classifiers and a labelled data set, whether there exists a randomized attack that induces a certain expected loss against all classifiers.

Image Classification

Cannot find the paper you are looking for? You can Submit a new open access paper.