Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 2

Konferenzbeitrag

Stenzel, Gerhard; Schmid, Kyrill; Kölle, Michael; Altmann, Philipp ORCID logoORCID: https://orcid.org/0000-0003-1134-176X; Lingsch-Rosenfeld, Marian ORCID logoORCID: https://orcid.org/0000-0002-8172-3184; Zorn, Maximilian ORCID logoORCID: https://orcid.org/0009-0006-2750-7495; Bücher, Tim; Gabor, Thomas ORCID logoORCID: https://orcid.org/0000-0003-2048-8667; Wirsing, Martin und Belzner, Lenz (2025): SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. AISoLA 2024: Second International Conference, Chersonissos, Griechenland, 30. Oktober - 03. November 2024. Bernhard, Steffen (Hrsg.): In: Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings, Cham: Springer. S. 107-124

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Lingsch-Rosenfeld, Marian ORCID logoORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 (2023): CEGAR-PT. A Tool for Abstraction by Program Transformation. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, 11-15 September 2023. In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Piscataway, NJ: IEEE. S. 2078-2081 [PDF, 136kB]

Diese Liste wurde am Sat Aug 9 19:01:22 2025 CEST erstellt.