h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Hofmann:1006388,
      author       = {Hofmann, Till and Claßen, Jens},
      title        = {{LTL}f {S}ynthesis on {F}irst-{O}rder {A}gent {P}rograms in
                      {N}ondeterministic {E}nvironments},
      reportid     = {RWTH-2025-02463},
      pages        = {14 Seiten},
      year         = {2024},
      note         = {Submitted on 1 Oct 2024 (v1), last revised 1 Mar 2025 (this
                      version, v3). - Version 1: LTLf Synthesis on First-Order
                      Action Theories},
      month         = {Feb},
      date          = {2025-02-25},
      organization  = {39. AAAI Conference on Artificial
                       Intelligence, Philadelphia, PA (USA),
                       25 Feb 2025 - 4 Mar 2025},
      cin          = {122010 / 120000},
      cid          = {$I:(DE-82)122010_20140620$ / $I:(DE-82)120000_20140620$},
      pnm          = {AvH 1228833 - ESP - AHP-KI - Alexander von
                      Humboldt-Professur für Künstliche Intelligenz (1228833 -
                      ESP - AHP-KI) / RLeap - From Data-based to Model-based AI:
                      Representation Learning for Planning (885107)},
      pid          = {G:(AvH)1228833 - ESP - AHP-KI / G:(EU-Grant)885107},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {2410.00726},
      howpublished = {arXiv:2410.00726},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:2410.00726;\%\%$},
      doi          = {10.48550/arXiv.2410.00726},
      url          = {https://publications.rwth-aachen.de/record/1006388},
}