@misc{indiciaed538f7943770, title = {Answer-Set-Programming-based Abstractions for Reinforcement Learning}, author = {Rafael Bankosegger and Thomas Eiter and Johannes Oetsch}, year = {2026}, url = {https://arxiv.org/abs/2605.31444}, note = {Source identifier: 2605.31444} }