TY - CHAP A1 - Belzner, Lenz A1 - Schmid, Kyrill A1 - Phan, Thomy A1 - Gabor, Thomas A1 - Wirsing, Martin T1 - The sharer’s dilemma in collective adaptive systems of self-interested agents T2 - Leveraging Applications of Formal Methods, Verification and Validation : Distributed Systems : 8th International Symposium, ISoLA 2018; Limassol, Cyprus, November 5–9, 2018; Proceedings, Part III UR - https://doi.org/10.1007/978-3-030-03424-5_16 Y1 - 2018 UR - https://doi.org/10.1007/978-3-030-03424-5_16 SN - 978-3-030-03423-8 SN - 978-3-030-03424-5 SP - 241 EP - 256 PB - Springer CY - Cham ER - TY - JOUR A1 - Belzner, Lenz A1 - Wirsing, Martin T1 - Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking JF - Science of Computer Programming UR - https://doi.org/10.1016/j.scico.2021.102620 KW - Policy synthesis KW - Constrained Markov decision process KW - Safe reinforcement learning KW - Bayesian model checking KW - Probabilistic constraints Y1 - 2021 UR - https://doi.org/10.1016/j.scico.2021.102620 SN - 0167-6423 VL - 2021 IS - 206 PB - Elsevier CY - Amsterdam ER - TY - CHAP A1 - Wirsing, Martin A1 - Belzner, Lenz ED - Lopez-Garcia, Pedro ED - Gallagher, John P. ED - Giacobazzi, Roberto T1 - Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning T2 - Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems UR - https://doi.org/10.1007/978-3-031-31476-6_16 Y1 - 2023 UR - https://doi.org/10.1007/978-3-031-31476-6_16 SN - 978-3-031-31476-6 SN - 978-3-031-31475-9 SP - 281 EP - 306 PB - Springer CY - Cham ER - TY - CHAP A1 - Sun, Xiyue A1 - Pieroth, Fabian Raoul A1 - Schmid, Kyrill A1 - Wirsing, Martin A1 - Belzner, Lenz T1 - On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives T2 - Proceedings: 2022 IEEE 42nd International Conference on Distributed Computing Systems Workshops: ICDCSW 2022 UR - https://doi.org/10.1109/ICDCSW56584.2022.00031 KW - Prisoner’s Dilemma KW - Cooperation KW - Incentivizing KW - Reinforcement Learning Y1 - 2022 UR - https://doi.org/10.1109/ICDCSW56584.2022.00031 SN - 978-1-6654-8879-2 SN - 2332-5666 SP - 113 EP - 118 PB - IEEE CY - Los Alamitos ER - TY - CHAP A1 - Belzner, Lenz A1 - Gabor, Thomas A1 - Wirsing, Martin ED - Steffen, Bernhard T1 - Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study T2 - Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings UR - https://doi.org/10.1007/978-3-031-46002-9_23 Y1 - 2023 UR - https://doi.org/10.1007/978-3-031-46002-9_23 SN - 978-3-031-46002-9 SN - 978-3-031-46001-2 SP - 355 EP - 374 PB - Springer CY - Cham ER -