Saved in:
| Main Authors: | Cano, Filip, Henzinger, Thomas A., Kueffner, Konstantin |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.24926 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Algorithmic Fairness: A Runtime Perspective
by: Cano, Filip, et al.
Published: (2025)
by: Cano, Filip, et al.
Published: (2025)
Fairness Shields: Safeguarding against Biased Decision Makers
by: Cano, Filip, et al.
Published: (2024)
by: Cano, Filip, et al.
Published: (2024)
Monitoring of Static Fairness
by: Henzinger, Thomas A., et al.
Published: (2025)
by: Henzinger, Thomas A., et al.
Published: (2025)
Monitoring Robustness and Individual Fairness
by: Gupta, Ashutosh, et al.
Published: (2025)
by: Gupta, Ashutosh, et al.
Published: (2025)
Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)
by: Henzinger, Thomas A., et al.
Published: (2025)
Multi-Environment POMDPs with Finite-Horizon Objectives
by: Brice, Léonard, et al.
Published: (2026)
by: Brice, Léonard, et al.
Published: (2026)
Towards Responsible AI: Advances in Safety, Fairness, and Accountability of Autonomous Systems
by: Cano, Filip
Published: (2025)
by: Cano, Filip
Published: (2025)
Alignment Monitoring
by: Henzinger, Thomas A., et al.
Published: (2025)
by: Henzinger, Thomas A., et al.
Published: (2025)
Neural Control and Certificate Repair via Runtime Monitoring
by: Yu, Emily, et al.
Published: (2024)
by: Yu, Emily, et al.
Published: (2024)
Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)
by: Heck, Linus, et al.
Published: (2026)
Fairness Evaluation for Uplift Modeling in the Absence of Ground Truth
by: Kadioglu, Serdar, et al.
Published: (2024)
by: Kadioglu, Serdar, et al.
Published: (2024)
Predictive Monitoring of Black-Box Dynamical Systems
by: Henzinger, Thomas A., et al.
Published: (2024)
by: Henzinger, Thomas A., et al.
Published: (2024)
Tuning Derivatives for Causal Fairness in Machine Learning
by: Edström, Filip, et al.
Published: (2026)
by: Edström, Filip, et al.
Published: (2026)
Machine Unlearning using Forgetting Neural Networks
by: Hatua, Amartya, et al.
Published: (2024)
by: Hatua, Amartya, et al.
Published: (2024)
Robust Probabilistic Shielding for Safe Offline Reinforcement Learning
by: Galesloot, Maris F. L., et al.
Published: (2026)
by: Galesloot, Maris F. L., et al.
Published: (2026)
Safe POMDP Online Planning via Shielding
by: Sheng, Shili, et al.
Published: (2023)
by: Sheng, Shili, et al.
Published: (2023)
Probabilistic Shielding for Safe Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2025)
by: Court, Edwin Hamel-De le, et al.
Published: (2025)
The Illusion of Fairness: Auditing Fairness Interventions with Audit Studies
by: Sariola, Disa, et al.
Published: (2025)
by: Sariola, Disa, et al.
Published: (2025)
Quantifying constraint hierarchies in Bayesian PINNs via per-constraint Hessian decomposition
by: Landgren, Filip
Published: (2025)
by: Landgren, Filip
Published: (2025)
AdaShield: Safeguarding Multimodal Large Language Models from Structure-based Attack via Adaptive Shield Prompting
by: Wang, Yu, et al.
Published: (2024)
by: Wang, Yu, et al.
Published: (2024)
PiShield: A PyTorch Package for Learning with Requirements
by: Stoian, Mihaela Cătălina, et al.
Published: (2024)
by: Stoian, Mihaela Cătălina, et al.
Published: (2024)
Interval POMDP Shielding for Imperfect-Perception Agents
by: Scarbro, William, et al.
Published: (2026)
by: Scarbro, William, et al.
Published: (2026)
Learning Graph Node Embeddings by Smooth Pair Sampling
by: Kutzkov, Konstantin
Published: (2025)
by: Kutzkov, Konstantin
Published: (2025)
VISA: Value Injection via Shielded Adaptation for Personalized LLM Alignment
by: Chen, Jiawei, et al.
Published: (2026)
by: Chen, Jiawei, et al.
Published: (2026)
FairDgcl: Fairness-aware Recommendation with Dynamic Graph Contrastive Learning
by: Chen, Wei, et al.
Published: (2024)
by: Chen, Wei, et al.
Published: (2024)
Fair in Mind, Fair in Action? A Synchronous Benchmark for Understanding and Generation in UMLLMs
by: Zhao, Yiran, et al.
Published: (2026)
by: Zhao, Yiran, et al.
Published: (2026)
CopyrightShield: Enhancing Diffusion Model Security against Copyright Infringement Attacks
by: Guo, Zhixiang, et al.
Published: (2024)
by: Guo, Zhixiang, et al.
Published: (2024)
Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
by: Georgescu, Tiberiu-Andrei, et al.
Published: (2025)
by: Georgescu, Tiberiu-Andrei, et al.
Published: (2025)
Understanding Fairness Surrogate Functions in Algorithmic Fairness
by: Yao, Wei, et al.
Published: (2023)
by: Yao, Wei, et al.
Published: (2023)
Fair-FLIP: Fair Deepfake Detection with Fairness-Oriented Final Layer Input Prioritising
by: Szandala, Tomasz, et al.
Published: (2025)
by: Szandala, Tomasz, et al.
Published: (2025)
On inferring cumulative constraints
by: Sidorov, Konstantin
Published: (2026)
by: Sidorov, Konstantin
Published: (2026)
Human-in-the-loop Fairness: Integrating Stakeholder Feedback to Incorporate Fairness Perspectives in Responsible AI
by: Taka, Evdoxia, et al.
Published: (2023)
by: Taka, Evdoxia, et al.
Published: (2023)
Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making
by: Alamdari, Parand A., et al.
Published: (2023)
by: Alamdari, Parand A., et al.
Published: (2023)
MeshA*: Efficient Path Planning With Motion Primitives
by: Agranovskiy, Marat, et al.
Published: (2024)
by: Agranovskiy, Marat, et al.
Published: (2024)
Oracle-Guided Soft Shielding for Safe Move Prediction in Chess
by: Rajendran, Prajit T, et al.
Published: (2026)
by: Rajendran, Prajit T, et al.
Published: (2026)
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
by: Banerjee, Arko, et al.
Published: (2024)
by: Banerjee, Arko, et al.
Published: (2024)
ProSh: Probabilistic Shielding for Model-free Reinforcement Learning
by: Court, Edwin Hamel-De le, et al.
Published: (2025)
by: Court, Edwin Hamel-De le, et al.
Published: (2025)
From Texts to Shields: Convergence of Large Language Models and Cybersecurity
by: Li, Tao, et al.
Published: (2025)
by: Li, Tao, et al.
Published: (2025)
Reasoning Is All You Need for Urban Planning AI
by: Yang, Sijie, et al.
Published: (2025)
by: Yang, Sijie, et al.
Published: (2025)
llmSHAP: A Principled Approach to LLM Explainability
by: Naudot, Filip, et al.
Published: (2025)
by: Naudot, Filip, et al.
Published: (2025)
Similar Items
-
Algorithmic Fairness: A Runtime Perspective
by: Cano, Filip, et al.
Published: (2025) -
Fairness Shields: Safeguarding against Biased Decision Makers
by: Cano, Filip, et al.
Published: (2024) -
Monitoring of Static Fairness
by: Henzinger, Thomas A., et al.
Published: (2025) -
Monitoring Robustness and Individual Fairness
by: Gupta, Ashutosh, et al.
Published: (2025) -
Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)