Cover Image

An Information-Flow Perspective on Explainability Requirements: Specification and Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Finkbeiner, Bernd, Frenkel, Hadar, Siber, Julian
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explainability Requirements as Hyperproperties
by: Finkbeiner, Bernd, et al.
Published: (2025)

Synthesis of Temporal Causality
by: Finkbeiner, Bernd, et al.
Published: (2024)

Monitoring Second-Order Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

Closure and Complexity of Temporal Causality
by: Carelli, Mishel, et al.
Published: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
by: Finkbeiner, Bernd, et al.
Published: (2026)

Non-Deterministic Planning for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2024)

Counterfactual Explanations for MITL Violations
by: Finkbeiner, Bernd, et al.
Published: (2024)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
by: Beutner, Raven, et al.
Published: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
by: Beutner, Raven, et al.
Published: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
by: Ghanem, Mohamed, et al.
Published: (2024)

Hyper Strategy Logic
by: Beutner, Raven, et al.
Published: (2024)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
by: Beutner, Raven, et al.
Published: (2023)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
by: Beutner, Raven, et al.
Published: (2025)

Stream-Based Monitoring of Algorithmic Fairness
by: Baumeister, Jan, et al.
Published: (2025)

Information Flow Guided Synthesis with Unbounded Communication
by: Finkbeiner, Bernd, et al.
Published: (2024)

Visualizing Game-Based Certificates for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2025)

Logics and Algorithms for Hyperproperties
by: Finkbeiner, Bernd
Published: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
by: Baumeister, Jan, et al.
Published: (2025)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
by: Eiter, Thomas, et al.
Published: (2026)

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
by: Beutner, Raven, et al.
Published: (2022)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
by: Sebastiani, Roberto
Published: (2025)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Laurel: Unblocking Automated Verification with Large Language Models
by: Mugnier, Eric, et al.
Published: (2024)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
by: Gupte, Mihir, et al.
Published: (2025)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
by: Neider, Daniel, et al.
Published: (2025)

Explainability-Driven Quality Assessment for Rule-Based Systems
by: Seneviratne, Oshani, et al.
Published: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

Neural Network Verification using Partial Multi-Neuron Relaxation
by: Shmuel, Ido, et al.
Published: (2026)

VeriFlow: Modeling Distributions for Neural Network Verification
by: Zaid, Faried Abu, et al.
Published: (2024)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
by: Heuer, Jan
Published: (2023)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
by: Keyi, Hu
Published: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
by: Chen, Chen, et al.
Published: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
by: Bhat, Vishak K, et al.
Published: (2026)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

An Information-Flow Perspective on Algorithmic Fairness
by: Teuber, Samuel, et al.
Published: (2023)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
by: Bertini, Flavio, et al.
Published: (2025)