Folgen
Dennis Gross
Titel
Zitiert von
Zitiert von
Jahr
Adversarial patch camouflage against aerial detection
R Den Hollander, A Adhikari, I Tolios, M van Bekkum, A Bal, S Hendriks, ...
Artificial intelligence and machine learning in defense applications II …, 2020
532020
COOL-MC: a comprehensive tool for reinforcement learning and model checking
D Gross, N Jansen, S Junges, GA Pérez
International Symposium on Dependable Software Engineering: Theories, Tools …, 2022
112022
Robustness verification for classifier ensembles
D Gross, N Jansen, GA Pérez, S Raaijmakers
Automated Technology for Verification and Analysis: 18th International …, 2020
82020
Model checking for adversarial multi-agent reinforcement learning with reactive defense methods
D Gross, C Schmidl, N Jansen, GA Pérez
Proceedings of the International Conference on Automated Planning and …, 2023
22023
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
D Gross, H Spieker
arXiv preprint arXiv:2403.18725, 2024
2024
Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods
D Gross, H Spieker, A Gotlieb, R Knoblauch
arXiv preprint arXiv:2403.18731, 2024
2024
Explainable Machine Learning for Milling Quality Prediction
ME Dennis Gross, Helge Spieker, Arnaud Gottlieb, Ricardo Knoblauch
18th IFAC Symposium on Information Control Problems in Manufacturing (INCOM …, 2024
2024
Reproducibility Experiments on the Verification Results of Neural Networks
D Gross
2023
Turn-Based Multi-Agent Reinforcement Learning Model Checking
D Gross
Setubal: SciTePress, 2023
2023
Targeted adversarial attacks on deep reinforcement learning policies via model checking
D Gross, TD Simao, N Jansen, GA Pérez
arXiv preprint arXiv:2212.05337, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10