ASQ-IT: interactive explanations for reinforcement-learning agents

DOI10.1016/J.ARTINT.2024.104182MaRDI QIDQ7028695zbMATH OpenFDO

Authors Yotam Amitai, Ofra Amir, Guy Avni

Publication date 11 February 2025

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.ARTINT.2024.104182

zbMATH Keywords

explainable reinforcement learningformal verificationinteractive explanations

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cites work

• An abstraction-refinement framework for trigger querying
• Blind spot detection for safe sim-to-real transfer
• Coverage metrics for temporal logic model checking
• Explaining counterexamples using causality
• Explaining Hyperproperty Violations
• Explanation in artificial intelligence: insights from the social sciences
• Handbook of model checking
• scientific article; zbMATH DE number 1670794 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• Production rules as a representation for a knowledge-based consultation program
• Towards formal XAI: formally approximate minimal explanations of neural networks
• What causes a system to satisfy a specification?

This page was built for publication: ASQ-IT: interactive explanations for reinforcement-learning agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7028695)