Dennis Gross - RankMe

36 papers A* 1B 4C 2Misc 2Journal 22Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance. CoRR Dennis Gross
2026	J	`jnl`	COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management. CoRR Dennis Gross
2026	J	`jnl`	Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC. CoRR Dennis Gross
2026	J	`jnl`	Large language models for high-level computer-aided process planning in a distributed manufacturing paradigm. Robotics Comput. Integr. Manuf. Emmanuel Stathatos, Panorios Benardos, George-Christopher Vosniakos, Dennis Gross, Helge Spieker, Arnaud Gotlieb
2026	J	`jnl`	Semi-supervised CAPP Transformer Learning via Pseudo-labeling. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb, Emmanuel Stathatos, Panorios Benardos, George-Christopher Vosniakos
2025	B	`conf`	Bounded PCTL Model Checking of Large Language Model Outputs. ICTAI Dennis Gross, Helge Spieker, Arnaud Gotlieb
2025	J	`jnl`	Bounded PCTL Model Checking of Large Language Model Outputs. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb
2025	—	`conf`	Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies. ICAART (2) Dennis Gross, Helge Spieker
2025	J	`jnl`	Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies. CoRR Dennis Gross, Helge Spieker
2025	J	`jnl`	Formal Verification of Noisy Quantum Reinforcement Learning Policies. CoRR Dennis Gross
2025	Misc	`conf`	PCTL Model Checking for Temporal RL Policy Safety Explanations. SAC Dennis Gross, Helge Spieker
2025	B	`conf`	Prompting for Performance: Exploring LLMs for Configuring Software. ICTAI Helge Spieker, Théo Matricon, Nassim Belmecheri, Jørn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher
2025	J	`jnl`	Prompting for Performance: Exploring LLMs for Configuring Software. CoRR Helge Spieker, Théo Matricon, Nassim Belmecheri, Jørn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher
2025	C	`conf`	Reusable Test Suites for Reinforcement Learning. ICTSS Jørn Eirik Betten, Quentin Mazouni, Dennis Gross, Pedro G. Lind, Helge Spieker
2025	J	`jnl`	Reusable Test Suites for Reinforcement Learning. CoRR Jørn Eirik Betten, Quentin Mazouni, Dennis Gross, Pedro Lind, Helge Spieker
2025	J	`jnl`	Translating the Rashomon Effect to Sequential Decision-Making Tasks. CoRR Dennis Gross, Jørn Eirik Betten, Helge Spieker
2025	J	`jnl`	Turn-based Multi-Agent Reinforcement Learning Model Checking. CoRR Dennis Gross
2025	J	`jnl`	Verifying Memoryless Sequential Decision-making of Large Language Models. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb
2024	J	`jnl`	Efficient Milling Quality Prediction with Explainable Machine Learning. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch, Mohamed Elmansori
2024	—	`conf`	Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. ICAART (3) Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
2024	J	`jnl`	Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods. CoRR Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
2024	C	`conf`	Enhancing RL Safety with Counterfactual LLM Reasoning. ICTSS Dennis Gross, Helge Spieker
2024	J	`jnl`	Enhancing RL Safety with Counterfactual LLM Reasoning. CoRR Dennis Gross, Helge Spieker
2024	—	`conf`	Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. ICAART (3) Dennis Gross, Helge Spieker
2024	J	`jnl`	Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. CoRR Dennis Gross, Helge Spieker
2024	B	`conf`	Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies. ESANN Dennis Gross, Helge Spieker
2024	J	`jnl`	Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies. CoRR Dennis Gross, Helge Spieker
2023	A*	`conf`	Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez
2023	—	`conf`	Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. ICAART (3) Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
2023	—	`conf`	Turn-Based Multi-Agent Reinforcement Learning Model Checking. ICAART (3) Dennis Gross
2022	Misc	`conf`	COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022	J	`jnl`	COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022	J	`jnl`	Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. CoRR Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
2020	J	`jnl`	Adversarial Patch Camouflage against Aerial Detection. CoRR 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
2020	B	`conf`	Robustness Verification for Classifier Ensembles. ATVA Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
2020	J	`jnl`	Robustness Verification for Classifier Ensembles. CoRR Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers