h1

h2

h3

h4

h5
h6
TY  - EJOUR
AU  - Hofmann, Till
AU  - Claßen, Jens
TI  - LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
M1  - RWTH-2025-02463
SP  - 14 Seiten
PY  - 2024
N1  - Submitted on 1 Oct 2024 (v1), last revised 1 Mar 2025 (this version, v3). - Version 1: LTLf Synthesis on First-Order Action Theories
T2  - 39. AAAI Conference on Artificial Intelligence
CY  - 25 Feb 2025 - 4 Mar 2025, Philadelphia, PA (USA)
Y2  - 25 Feb 2025 - 4 Mar 2025
M2  - Philadelphia, PA, USA
LB  - PUB:(DE-HGF)25
DO  - DOI:10.48550/arXiv.2410.00726
UR  - https://publications.rwth-aachen.de/record/1006388
ER  -