@Article{DagRep.13.9,
  title =	{{Dagstuhl Reports, Volume 13, Issue 9, September 2023, Complete Issue}},
  pages =	{1--186},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9},
  URN =		{urn:nbn:de:0030-drops-198183},
  doi =		{10.4230/DagRep.13.9},
  annote =	{Keywords: Dagstuhl Reports, Volume 13, Issue 9, September 2023, Complete Issue}
}
@Article{DagRep.13.9.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 13, Issue 9, 2023}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.i},
  URN =		{urn:nbn:de:0030-drops-198197},
  doi =		{10.4230/DagRep.13.9.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{allmendinger_et_al:DagRep.13.9.1,
  author =	{Allmendinger, Richard and Fonseca, Carlos M. and Sayin, Serpil and Wiecek, Margaret M. and Stiglmayr, Michael},
  title =	{{Multiobjective Optimization on a Budget (Dagstuhl Seminar 23361)}},
  pages =	{1--68},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Allmendinger, Richard and Fonseca, Carlos M. and Sayin, Serpil and Wiecek, Margaret M. and Stiglmayr, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.1},
  URN =		{urn:nbn:de:0030-drops-198207},
  doi =		{10.4230/DagRep.13.9.1},
  annote =	{Keywords: evolutionary algorithms, expensive optimization, few-shot learning, machine learning, optimization, simulation}
}
@Article{ehm_et_al:DagRep.13.9.69,
  author =	{Ehm, Hans and Fowler, John and M\"{o}nch, Lars and Schorn, Daniel},
  title =	{{Decision-Making Techniques for Smart Semiconductor Manufacturing (Dagstuhl Seminar 23362)}},
  pages =	{69--102},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Ehm, Hans and Fowler, John and M\"{o}nch, Lars and Schorn, Daniel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.69},
  URN =		{urn:nbn:de:0030-drops-198216},
  doi =		{10.4230/DagRep.13.9.69},
  annote =	{Keywords: analytics, modeling, semiconductor manufacturing, simulation, smart manufacturing}
}
@Article{fisher_et_al:DagRep.13.9.103,
  author =	{Fisher, Michael and Slavkovik, Marija and Dobrosovestnova, Anna and Schuster, Nick},
  title =	{{Roadmap for Responsible Robotics (Dagstuhl Seminar 23371)}},
  pages =	{103--115},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Fisher, Michael and Slavkovik, Marija and Dobrosovestnova, Anna and Schuster, Nick},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.103},
  URN =		{urn:nbn:de:0030-drops-198223},
  doi =		{10.4230/DagRep.13.9.103},
  annote =	{Keywords: Robotics, Responsibility, Trust, Fairness, Predictability, Understandability, Ethics}
}
@Article{crisan_et_al:DagRep.13.9.116,
  author =	{Crisan, Anamaria and Kotthoff, Lars and Streit, Marc and Xu, Kai},
  title =	{{Human-Centered Approaches for Provenance in Automated Data Science (Dagstuhl Seminar 23372)}},
  pages =	{116--136},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Crisan, Anamaria and Kotthoff, Lars and Streit, Marc and Xu, Kai},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.116},
  URN =		{urn:nbn:de:0030-drops-198236},
  doi =		{10.4230/DagRep.13.9.116},
  annote =	{Keywords: Dagstuhl Seminar, Provenance, AutoML, Data Science, Information Visualisation, Visual Analytics, Machine Learning, Human-Computer Interaction}
}
@Article{drucker_et_al:DagRep.13.9.137,
  author =	{Drucker, Johanna and El-Assady, Mennatallah and Hinrichs, Uta and Windhager, Florian and Akbaba, Derya},
  title =	{{Visualization and the Humanities: Towards a Shared Research Agenda (Dagstuhl Seminar 23381)}},
  pages =	{137--165},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Drucker, Johanna and El-Assady, Mennatallah and Hinrichs, Uta and Windhager, Florian and Akbaba, Derya},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.137},
  URN =		{urn:nbn:de:0030-drops-198246},
  doi =		{10.4230/DagRep.13.9.137},
  annote =	{Keywords: Digital humanities, arts, humanities, methodology, research program, visualization}
}
@Article{fijalkow_et_al:DagRep.13.9.166,
  author =	{Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi},
  title =	{{The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)}},
  pages =	{166--184},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166},
  URN =		{urn:nbn:de:0030-drops-198259},
  doi =		{10.4230/DagRep.13.9.166},
  annote =	{Keywords: program synthesis, program verification, reactive synthesis, temporal synthesis}
}