We stand with Ukraine  

Dennis Gross

Affiliations:
  • Radboud University Nijmegen, The Netherlands (PhD 2024)


According to our database1, Dennis Gross authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2024
Towards trustworthy AI: Formal Verification in Machine Learning.
[BibTeX]
[DOI]
Dennis M. Groß
PhD thesis, 2024

2023
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking.
[BibTeX]
[DOI]
Dennis Gross
,
Thiago D. Simão
,
Nils Jansen
,
Guillermo A. Pérez
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods.
[BibTeX]
[DOI]
Dennis Gross
,
Christoph Schmidl
,
Nils Jansen
,
Guillermo A. Pérez
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.
[BibTeX]
[DOI]
Dennis Gross
,
Nils Jansen
,
Sebastian Junges
,
Guillermo A. Pérez
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

2020
Adversarial Patch Camouflage against Aerial Detection.
[BibTeX]
[DOI]
Ajaya Adhikari
,
Richard den Hollander
,
Ioannis Tolios
,
Michael van Bekkum
,
Anneloes Bal
,
Stijn Hendriks
,
Maarten Kruithof
,
Dennis Gross
,
Nils Jansen
,
Guillermo A. Pérez
,
Kit Buurman
,
Stephan Raaijmakers
CoRR, 2020

Robustness Verification for Classifier Ensembles.
[BibTeX]
[DOI]
Dennis Gross
,
Nils Jansen
,
Guillermo A. Pérez
,
Stephan Raaijmakers
Proceedings of the Automated Technology for Verification and Analysis, 2020


  Loading...