Action Programming In Rewriting Logic. - Lenz Belzner (Theory Pract. Log. Program., 2013)

Reasoning (on) Service Component Ensembles in Rewriting Logic. - Lenz Belzner; Rocco De Nicola; Andrea Vandin; Martin Wirsing (Specification, Algebra, and Software, 2014)

Verifiable Decisions in Autonomous Concurrent Systems. - Lenz Belzner (COORDINATION, 2014)

Value Iteration for Relational MDPs in Rewriting Logic. - Lenz Belzner (STAIRS, 2014)

Ode to the PST. - Matthias M. Hölzl; Nora Koch; Philip Mayer; Andreas Schroeder 001; Lenz Belzner; Marianne Busch; Anton Fasching; Annabelle Klarl; Christian Kroiss; Laith Raed (Software, Services, and Systems, 2015)

Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. - Stefanie Neubert; Lenz Belzner; Martin Wirsing (Logic, Rewriting, and Concurrency, 2015)

OnPlan: A Framework for Simulation-Based Online Planning. - Lenz Belzner; Rolf Hennicker; Martin Wirsing (FACS, 2015)

A Simulation-Based Architecture for Smart Cyber-Physical Systems. - Thomas Gabor; Lenz Belzner; Marie Kiermeier; Michael Till Beck; Alexander Neitz (ICAC, 2016)

Software engineering for distributed autonomous real-time systems. - Lenz Belzner; Michael Till Beck; Thomas Gabor; Harald Roelle; Horst Sauer (SEsCPS@ICSE, 2016)

Time-adaptive cross entropy planning. - Lenz Belzner (SAC, 2016)

Learning relational probabilistic action models for online planning with decision forests. - Lenz Belzner; Alexander Neitz (SAC, 2016)

QoS-Aware Multi-armed Bandits. - Lenz Belzner; Thomas Gabor (FAS*W@SASO/ICCAC, 2016)

Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. - Lenz Belzner; Matthias M. Hölzl; Nora Koch; Martin Wirsing (LNCS Trans. Found. Mastering Chang., 2016)

Qualitative assessment of recurrent human motion. - André Ebert; Michael Till Beck; Andy Mattausch; Lenz Belzner; Claudia Linnhoff-Popien (EUSIPCO, 2017)

Genealogical distance as a diversity estimate in evolutionary algorithms. - Thomas Gabor; Lenz Belzner (GECCO (Companion), 2017)

Bayesian Verification under Model Uncertainty. - Lenz Belzner; Thomas Gabor (SEsCPS@ICSE, 2017)

Stacked Thompson Bandits. - Lenz Belzner; Thomas Gabor (SEsCPS@ICSE, 2017)

Empirical Evaluation of a Distributed Deployment Strategy for Virtual Networks. - Carsten Hahn; Stephan Holzner; Lenz Belzner; Michael Till Beck (MSPN, 2017)

Monte Carlo Action Programming. - Lenz Belzner (CoRR, 2017)

Scalable Multiagent Coordination with Distributed Online Open Loop Planning. - Lenz Belzner; Thomas Gabor (CoRR, 2017)

Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation. - Thomy Phan; Lenz Belzner; Thomas Gabor; Kyrill Schmid (AAMAS, 2018)

Inheritance-based diversity measures for explicit convergence control in evolutionary algorithms. - Thomas Gabor; Lenz Belzner; Claudia Linnhoff-Popien (GECCO, 2018)

Trajectory annotation using sequences of spatial perception. - Sebastian Feld; Steffen Illium; Andreas Sedlmeier; Lenz Belzner (SIGSPATIAL/GIS, 2018)

Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms. - Thomas Gabor; Lenz Belzner; Thomy Phan; Kyrill Schmid (ICAC, 2018)

Action Markets in Deep Multi-Agent Reinforcement Learning. - Kyrill Schmid; Lenz Belzner; Thomas Gabor; Thomy Phan (ICANN (2), 2018)

The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. - Lenz Belzner; Kyrill Schmid; Thomy Phan; Thomas Gabor; Martin Wirsing (ISoLA (3), 2018)

Risk-Sensitivity in Simulation Based Online Planning. - Kyrill Schmid; Lenz Belzner; Marie Kiermeier; Alexander Neitz; Thomy Phan; Thomas Gabor; Claudia Linnhoff (KI, 2018)

Memory Bounded Open-Loop Planning in Large POMDPs Using Thompson Sampling. - Thomy Phan; Lenz Belzner; Marie Kiermeier; Markus Friedrich 001; Kyrill Schmid; Claudia Linnhoff-Popien (AAAI, 2019)

Distributed Policy Iteration for Scalable Approximation of Cooperative Multi-Agent Policies. - Thomy Phan; Kyrill Schmid; Lenz Belzner; Thomas Gabor; Sebastian Feld; Claudia Linnhoff-Popien (AAMAS, 2019)

Bayesian Surprise in Indoor Environments. - Sebastian Feld; Andreas Sedlmeier; Markus Friedrich 001; Jan Franz; Lenz Belzner (SIGSPATIAL/GIS, 2019)

Self-Replication in Neural Networks. - Thomas Gabor; Steffen Illium; Andy Mattausch; Lenz Belzner; Claudia Linnhoff-Popien (ALIFE, 2019)

Emergent Escape-based Flocking behavior using Multi-Agent Reinforcement Learning. - Carsten Hahn; Thomy Phan; Thomas Gabor; Lenz Belzner; Claudia Linnhoff-Popien (ALIFE, 2019)

Uncertainty-Based Out-of-Distribution Detection in Deep Reinforcement Learning. - Andreas Sedlmeier; Thomas Gabor; Thomy Phan; Lenz Belzner; Claudia Linnhoff-Popien (CoRR, 2019)

Multi-agent Reinforcement Learning for Bargaining under Risk and Asymmetric Information. - Kyrill Schmid; Lenz Belzner; Thomy Phan; Thomas Gabor; Claudia Linnhoff-Popien (ICAART (1), 2020)

Uncertainty-based Out-of-Distribution Classification in Deep Reinforcement Learning. - Andreas Sedlmeier; Thomas Gabor; Thomy Phan; Lenz Belzner; Claudia Linnhoff-Popien (ICAART (2), 2020)

The Holy Grail of Quantum Artificial Intelligence: Major Challenges in Accelerating the Machine Learning Pipeline. - Thomas Gabor; Leo Sünkel; Fabian Ritz; Thomy Phan; Lenz Belzner; Christoph Roch; Sebastian Feld; Claudia Linnhoff-Popien (ICSE (Workshops), 2020)

The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. - Thomas Gabor; Andreas Sedlmeier; Thomy Phan; Fabian Ritz; Marie Kiermeier; Lenz Belzner; Bernhard Kempter; Cornel Klein; Horst Sauer; Reiner N. Schmid; Jan Wieghardt; Marc Zeller; et al. (Int. J. Softw. Tools Technol. Transf., 2020)

Resilient Multi-Agent Reinforcement Learning with Adversarial Value Decomposition. - Thomy Phan; Lenz Belzner; Thomas Gabor; Andreas Sedlmeier; Fabian Ritz; Claudia Linnhoff-Popien (AAAI, 2021)

DYME: A Dynamic Metric for Dialog Modeling Learned from Human Conversations. - Florian von Unold; Monika Wintergerst; Lenz Belzner; Georg Groh (ICONIP (5), 2021)

Stochastic Market Games. - Kyrill Schmid; Lenz Belzner; Robert Müller 005; Johannes Tochtermann; Claudia Linnhoff-Popien (IJCAI, 2021)

Distributed Emergent Agreements with Deep Reinforcement Learning. - Kyrill Schmid; Robert Müller 005; Lenz Belzner; Johannes Tochtermann; Claudia Linnhoff-Popien (IJCNN, 2021)

A Sustainable Ecosystem through Emergent Cooperation in Multi-Agent Reinforcement Learning. - Fabian Ritz; Daniel Ratke; Thomy Phan; Lenz Belzner; Claudia Linnhoff-Popien (ALIFE, 2021)

Learning to Penalize Other Learning Agents. - Kyrill Schmid; Lenz Belzner; Claudia Linnhoff-Popien (ALIFE, 2021)

VAST: Value Function Factorization with Variable Agent Sub-Teams. - Thomy Phan; Fabian Ritz; Lenz Belzner; Philipp Altmann; Thomas Gabor; Claudia Linnhoff-Popien (NeurIPS, 2021)

Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking. - Lenz Belzner; Martin Wirsing (Sci. Comput. Program., 2021)

Emergent Cooperation from Mutual Acknowledgment Exchange. - Thomy Phan; Felix Sommer; Philipp Altmann; Fabian Ritz; Lenz Belzner; Claudia Linnhoff-Popien (AAMAS, 2022)

On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives. - Xiyue Sun; Fabian R. Pieroth; Kyrill Schmid; Martin Wirsing; Lenz Belzner (ICDCS Workshops, 2022)

Self-Replication in Neural Networks. - Thomas Gabor; Steffen Illium; Maximilian Zorn; Cristian Lenta; Andy Mattausch; Lenz Belzner; Claudia Linnhoff-Popien (Artif. Life, 2022)

Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. - Martin Wirsing; Lenz Belzner (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. - Lenz Belzner; Thomas Gabor; Martin Wirsing (AISoLA, 2023)

Detecting Influence Structures in Multi-Agent Reinforcement Learning. - Fabian Raoul Pieroth; Katherine E. Fitch; Lenz Belzner (ICML, 2024)

SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. - Gerhard Stenzel; Kyrill Schmid; Michael Kölle 001; Philipp Altmann; Marian Lingsch Rosenfeld; Maximilian Zorn; Tim Bücher; Thomas Gabor; Martin Wirsing; Lenz Belzner (AISoLA, 2024)

Emergent cooperation from mutual acknowledgment exchange in multi-agent reinforcement learning. - Thomy Phan; Felix Sommer; Fabian Ritz; Philipp Altmann; Jonas Nüßlein; Michael Kölle 001; Lenz Belzner; Claudia Linnhoff-Popien (Auton. Agents Multi Agent Syst., 2024)

The Evolution of Criticality in Deep Reinforcement Learning. - Chidvilas Karpenahalli Ramakrishna; Adithya Mohan; Zahra Zeinaly; Lenz Belzner (ICAART (3), 2025)