7 citations · 11 across the 6 of their papers we have counts for
3 papers · 1 filter
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking
Dennis Gross, Thiago D. Simao, Nils Jansen +1
Deep Reinforcement Learning (RL) agents are susceptible to adversarial noise in their observations that can mislead their policies and decrease their performance. However, an adver…
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
Dennis Gross, Nils Jansen, Sebastian Junges +1
This paper presents COOL-MC, a tool that integrates state-of-the-art reinforcement learning (RL) and model checking. Specifically, the tool builds upon the OpenAI gym and the proba…
Robustness Verification for Classifier Ensembles
Dennis Gross, Nils Jansen, Guillermo A. Pérez +1
We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic at…