Media type: E-Article Title: Automated Reasoning for Reinforcement Learning Agents in Structured Environments Contributor: Gianola, Alessandro [VerfasserIn]; Montali, Marco [VerfasserIn]; Papini, Matteo [VerfasserIn] imprint: 2021 Published in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (3. : 2021 : Padua; Online): 3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021 ; (2021), Seite 43-48 Language: English Origination: Footnote: Access State: Open Access