h1

h2

h3

h4

h5
h6
%0 Electronic Article
%A Hofmann, Till
%A Claßen, Jens
%T LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
%M RWTH-2025-02463
%P 14 Seiten
%D 2024
%Z Submitted on 1 Oct 2024 (v1), last revised 1 Mar 2025 (this version, v3). - Version 1: LTLf Synthesis on First-Order Action Theories
%B 39. AAAI Conference on Artificial Intelligence
%C 25 Feb 2025 - 4 Mar 2025, Philadelphia, PA (USA)
Y2 25 Feb 2025 - 4 Mar 2025
M2 Philadelphia, PA, USA
%F PUB:(DE-HGF)25
%9 Preprint
%R 10.48550/arXiv.2410.00726
%U https://publications.rwth-aachen.de/record/1006388