:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gross, Dennis, Spieker, Helge, Gotlieb, Arnaud
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2510.06756
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bounded PCTL Model Checking of Large Language Model Outputs
by: Gross, Dennis, et al.
Published: (2025)

Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods
by: Gross, Dennis, et al.
Published: (2024)

Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2025)

Translating the Rashomon Effect to Sequential Decision-Making Tasks
by: Gross, Dennis, et al.
Published: (2025)

Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations
by: Belmecheri, Nassim, et al.
Published: (2024)

Semi-supervised CAPP Transformer Learning via Pseudo-labeling
by: Gross, Dennis, et al.
Published: (2026)

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2024)

Evaluating Human Trajectory Prediction with Metamorphic Testing
by: Spieker, Helge, et al.
Published: (2024)

Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations
by: Belmecheri, Nassim, et al.
Published: (2024)

Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks
by: Belmecheri, Nassim, et al.
Published: (2025)

Rashomon in the Streets: Explanation Ambiguity in Scene Understanding
by: Spieker, Helge, et al.
Published: (2025)

Efficient Milling Quality Prediction with Explainable Machine Learning
by: Gross, Dennis, et al.
Published: (2024)

Prompting for Performance: Exploring LLMs for Configuring Software
by: Spieker, Helge, et al.
Published: (2025)

Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics
by: Gotlieb, Arnaud, et al.
Published: (2023)

Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC
by: Gross, Dennis
Published: (2026)

COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management
by: Gross, Dennis
Published: (2026)

Policy Testing with MDPFuzz (Replicability Study)
by: Mazouni, Quentin, et al.
Published: (2025)

Efficiently Ranking Software Variants with Minimal Benchmarks
by: Matricon, Théo, et al.
Published: (2025)

Metamorphic Testing of Multimodal Human Trajectory Prediction
by: Spieker, Helge, et al.
Published: (2025)

Testing for Fault Diversity in Reinforcement Learning
by: Mazouni, Quentin, et al.
Published: (2024)

COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance
by: Gross, Dennis
Published: (2026)

On the Modeling Capabilities of Large Language Models for Sequential Decision Making
by: Klissarov, Martin, et al.
Published: (2024)

Enhancing RL Safety with Counterfactual LLM Reasoning
by: Gross, Dennis, et al.
Published: (2024)

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2024)

Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming
by: Brayé, Clotilde, et al.
Published: (2025)

Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
by: Quentin Mazouni, et al.
Published: (2024)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
by: Yang, Yunhao, et al.
Published: (2023)

Position Paper: Rethinking Privacy in RL for Sequential Decision-making in the Age of LLMs
by: Fan, Flint Xiaofeng, et al.
Published: (2025)

Function Words as Statistical Cues for Language Learning
by: Yang, Xiulin, et al.
Published: (2026)

A Unified Assessment of the Poverty of the Stimulus Argument for Neural Language Models
by: Yang, Xiulin, et al.
Published: (2026)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
by: Wu, Siyu, et al.
Published: (2024)

Turn-based Multi-Agent Reinforcement Learning Model Checking
by: Gross, Dennis
Published: (2025)

DLM: Unified Decision Language Models for Offline Multi-Agent Sequential Decision Making
by: Zhang, Zhuohui, et al.
Published: (2026)

MazeEval: A Benchmark for Testing Sequential Decision-Making in Language Models
by: Einarsson, Hafsteinn
Published: (2025)

Sequential Enumeration in Large Language Models
by: Hou, Kuinan, et al.
Published: (2025)

Large Language Models for Sequential Decision-Making: Improving In-Context Learning via Supervised Fine-Tuning
by: Zhang, Minmin, et al.
Published: (2026)

Decision-making with Speculative Opponent Models
by: Sun, Jing, et al.
Published: (2022)

O3D: Offline Data-driven Discovery and Distillation for Sequential Decision-Making with Large Language Models
by: Xiao, Yuchen, et al.
Published: (2023)

On-Device Large Language Models for Sequential Recommendation
by: Xia, Xin, et al.
Published: (2026)

A Sequential Decision-Making Model for Perimeter Identification
by: Taitler, Ayal
Published: (2024)