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”.

@INPROCEEDINGS{Hofmann:971709,
      author       = {Hofmann, Till and Belle, Vaishak},
      title        = {{A}bstracting {N}oisy {R}obot {P}rograms},
      publisher    = {International Foundation for Autonomous Agents and
                      Multiagent Systems (IFAAMAS)},
      reportid     = {RWTH-2023-09792},
      pages        = {534-542},
      year         = {2023},
      comment      = {[Proceedings of the International Joint Conference on
                      Autonomous Agents and Multiagent Systems, AAMAS]},
      booktitle     = {[Proceedings of the International
                       Joint Conference on Autonomous Agents
                       and Multiagent Systems, AAMAS]},
      month         = {May},
      date          = {2023-05-29},
      organization  = {22. International Conference on
                       Autonomous Agents and Multiagent
                       Systems, London (UK), 29 May 2023 - 2
                       Jun 2023},
      cin          = {080060 / 121920 / 120000},
      cid          = {$I:(DE-82)080060_20170720$ / $I:(DE-82)121920_20140620$ /
                      $I:(DE-82)120000_20140620$},
      pnm          = {TAILOR - Foundations of Trustworthy AI - Integrating
                      Reasoning, Learning and Optimization (952215) / GRK 2236 -
                      GRK 2236: Unsicherheit und Randomisierung in Algorithmen,
                      Verifikation und Logik. (282652900)},
      pid          = {G:(EU-Grant)952215 / G:(GEPRIS)282652900},
      typ          = {PUB:(DE-HGF)8},
      url          = {https://publications.rwth-aachen.de/record/971709},
}