Lenz Belzner

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 64

Top Topics

Learning Agents

Reinforcement Learning

Diversity Measures

Adaptive Systems

Top Venues

Publications

Martin Wirsing, Lenz Belzner
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Lenz Belzner, Thomas Gabor, Martin Wirsing
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. AISoLA (2023)
Kyrill Schmid, Lenz Belzner, Robert Müller, Johannes Tochtermann, Claudia Linnhoff-Popien
Stochastic Market Games. CoRR (2022)
Thomas Gabor, Steffen Illium, Maximilian Zorn, Cristian Lenta, Andy Mattausch, Lenz Belzner, Claudia Linnhoff-Popien
Self-Replication in Neural Networks. Artif. Life 28 (2) (2022)
Xiyue Sun, Fabian R. Pieroth, Kyrill Schmid, Martin Wirsing, Lenz Belzner
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives. ICDCS Workshops (2022)
Thomy Phan, Felix Sommer, Philipp Altmann, Fabian Ritz, Lenz Belzner, Claudia Linnhoff-Popien
Emergent Cooperation from Mutual Acknowledgment Exchange. AAMAS (2022)
Fabian Ritz, Daniel Ratke, Thomy Phan, Lenz Belzner, Claudia Linnhoff-Popien
A Sustainable Ecosystem through Emergent Cooperation in Multi-Agent Reinforcement Learning. ALIFE (2021)
Thomy Phan, Fabian Ritz, Lenz Belzner, Philipp Altmann, Thomas Gabor, Claudia Linnhoff-Popien
VAST: Value Function Factorization with Variable Agent Sub-Teams. NeurIPS (2021)
Florian von Unold, Monika Wintergerst, Lenz Belzner, Georg Groh
DYME: A Dynamic Metric for Dialog Modeling Learned from Human Conversations. ICONIP (5) (2021)
Kyrill Schmid, Lenz Belzner, Claudia Linnhoff-Popien
Learning to Penalize Other Learning Agents. ALIFE (2021)
Kyrill Schmid, Lenz Belzner, Robert Müller, Johannes Tochtermann, Claudia Linnhoff-Popien
Stochastic Market Games. IJCAI (2021)
Lenz Belzner, Martin Wirsing
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking. Sci. Comput. Program. 206 (2021)
Kyrill Schmid, Robert Müller, Lenz Belzner, Johannes Tochtermann, Claudia Linnhoff-Popien
Distributed Emergent Agreements with Deep Reinforcement Learning. IJCNN (2021)
Thomy Phan, Lenz Belzner, Thomas Gabor, Andreas Sedlmeier, Fabian Ritz, Claudia Linnhoff-Popien
Resilient Multi-Agent Reinforcement Learning with Adversarial Value Decomposition. AAAI (2021)
Thomas Gabor, Leo Sünkel, Fabian Ritz, Thomy Phan, Lenz Belzner, Christoph Roch, Sebastian Feld, Claudia Linnhoff-Popien
The Holy Grail of Quantum Artificial Intelligence: Major Challenges in Accelerating the Machine Learning Pipeline. ICSE (Workshops) (2020)
Andreas Sedlmeier, Thomas Gabor, Thomy Phan, Lenz Belzner, Claudia Linnhoff-Popien
Uncertainty-Based Out-of-Distribution Classification in Deep Reinforcement Learning. CoRR (2020)
Sebastian Feld, Steffen Illium, Andreas Sedlmeier, Lenz Belzner
Trajectory annotation using sequences of spatial perception. CoRR (2020)
Sebastian Feld, Andreas Sedlmeier, Markus Friedrich, Jan Franz, Lenz Belzner
Bayesian Surprise in Indoor Environments. CoRR (2020)
Lenz Belzner, Martin Wirsing
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking. CoRR (2020)
Thomas Gabor, Leo Sünkel, Fabian Ritz, Thomy Phan, Lenz Belzner, Christoph Roch, Sebastian Feld, Claudia Linnhoff-Popien
The Holy Grail of Quantum Artificial Intelligence: Major Challenges in Accelerating the Machine Learning Pipeline. CoRR (2020)
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, Claudia Linnhoff-Popien
The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Kyrill Schmid, Lenz Belzner, Thomy Phan, Thomas Gabor, Claudia Linnhoff-Popien
Multi-agent Reinforcement Learning for Bargaining under Risk and Asymmetric Information. ICAART (1) (2020)
Andreas Sedlmeier, Thomas Gabor, Thomy Phan, Lenz Belzner, Claudia Linnhoff-Popien
Uncertainty-based Out-of-Distribution Classification in Deep Reinforcement Learning. ICAART (2) (2020)
Andreas Sedlmeier, Thomas Gabor, Thomy Phan, Lenz Belzner, Claudia Linnhoff-Popien
Uncertainty-Based Out-of-Distribution Detection in Deep Reinforcement Learning. CoRR (2019)
Thomy Phan, Lenz Belzner, Marie Kiermeier, Markus Friedrich, Kyrill Schmid, Claudia Linnhoff-Popien
Memory Bounded Open-Loop Planning in Large POMDPs using Thompson Sampling. CoRR (2019)
Thomas Gabor, Steffen Illium, Andy Mattausch, Lenz Belzner, Claudia Linnhoff-Popien
Self-Replication in Neural Networks. ALIFE (2019)
Thomy Phan, Lenz Belzner, Marie Kiermeier, Markus Friedrich, Kyrill Schmid, Claudia Linnhoff-Popien
Memory Bounded Open-Loop Planning in Large POMDPs Using Thompson Sampling. AAAI (2019)
Thomy Phan, Kyrill Schmid, Lenz Belzner, Thomas Gabor, Sebastian Feld, Claudia Linnhoff-Popien
Distributed Policy Iteration for Scalable Approximation of Cooperative Multi-Agent Policies. AAMAS (2019)
Sebastian Feld, Andreas Sedlmeier, Markus Friedrich, Jan Franz, Lenz Belzner
Bayesian Surprise in Indoor Environments. SIGSPATIAL/GIS (2019)
Carsten Hahn, Thomy Phan, Thomas Gabor, Lenz Belzner, Claudia Linnhoff-Popien
Emergent Escape-based Flocking Behavior using Multi-Agent Reinforcement Learning. CoRR (2019)
Carsten Hahn, Thomy Phan, Thomas Gabor, Lenz Belzner, Claudia Linnhoff-Popien
Emergent Escape-based Flocking behavior using Multi-Agent Reinforcement Learning. ALIFE (2019)
Thomy Phan, Kyrill Schmid, Lenz Belzner, Thomas Gabor, Sebastian Feld, Claudia Linnhoff-Popien
Distributed Policy Iteration for Scalable Approximation of Cooperative Multi-Agent Policies. CoRR (2019)
Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. ISoLA (3) (2018)
Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing
The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents. CoRR (2018)
Thomas Gabor, Lenz Belzner, Claudia Linnhoff-Popien
Inheritance-based diversity measures for explicit convergence control in evolutionary algorithms. GECCO (2018)
Thomas Gabor, Lenz Belzner, Thomy Phan, Kyrill Schmid
Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms. CoRR (2018)
Thomas Gabor, Lenz Belzner, Claudia Linnhoff-Popien
Inheritance-Based Diversity Measures for Explicit Convergence Control in Evolutionary Algorithms. CoRR (2018)
Thomy Phan, Lenz Belzner, Thomas Gabor, Kyrill Schmid
Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation. AAMAS (2018)
Sebastian Feld, Steffen Illium, Andreas Sedlmeier, Lenz Belzner
Trajectory annotation using sequences of spatial perception. SIGSPATIAL/GIS (2018)
Thomas Gabor, Lenz Belzner, Thomy Phan, Kyrill Schmid
Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms. ICAC (2018)
Thomy Phan, Lenz Belzner, Thomas Gabor, Kyrill Schmid
Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation. CoRR (2018)
Kyrill Schmid, Lenz Belzner, Thomas Gabor, Thomy Phan
Action Markets in Deep Multi-Agent Reinforcement Learning. ICANN (2) (2018)
Kyrill Schmid, Lenz Belzner, Marie Kiermeier, Alexander Neitz, Thomy Phan, Thomas Gabor, Claudia Linnhoff
Risk-Sensitivity in Simulation Based Online Planning. KI (2018)
Lenz Belzner, Thomas Gabor
Stacked Thompson Bandits. CoRR (2017)
Lenz Belzner, Thomas Gabor
Bayesian Verification under Model Uncertainty. SEsCPS@ICSE (2017)
Lenz Belzner
Monte Carlo Action Programming. CoRR (2017)
Thomas Gabor, Lenz Belzner
Genealogical Distance as a Diversity Estimate in Evolutionary Algorithms. CoRR (2017)
Thomas Gabor, Lenz Belzner
Genealogical distance as a diversity estimate in evolutionary algorithms. GECCO (Companion) (2017)
Carsten Hahn, Stephan Holzner, Lenz Belzner, Michael Till Beck
Empirical Evaluation of a Distributed Deployment Strategy for Virtual Networks. MSPN (2017)
Lenz Belzner, Thomas Gabor
Bayesian Verification under Model Uncertainty. CoRR (2017)
André Ebert, Michael Till Beck, Andy Mattausch, Lenz Belzner, Claudia Linnhoff-Popien
Qualitative assessment of recurrent human motion. EUSIPCO (2017)
André Ebert, Michael Till Beck, Andy Mattausch, Lenz Belzner, Claudia Linnhoff-Popien
Qualitative Assessment of Recurrent Human Motion. CoRR (2017)
Lenz Belzner, Thomas Gabor
Stacked Thompson Bandits. SEsCPS@ICSE (2017)
Lenz Belzner, Thomas Gabor
Scalable Multiagent Coordination with Distributed Online Open Loop Planning. CoRR (2017)
Lenz Belzner, Thomas Gabor
QoS-Aware Multi-Armed Bandits. CoRR (2017)
Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. LNCS Trans. Found. Mastering Chang. 1 (2016)
Lenz Belzner, Thomas Gabor
QoS-Aware Multi-armed Bandits. FAS*W@SASO/ICCAC (2016)
Lenz Belzner
Time-adaptive cross entropy planning. SAC (2016)
Lenz Belzner, Michael Till Beck, Thomas Gabor, Harald Roelle, Horst Sauer
Software engineering for distributed autonomous real-time systems. SEsCPS@ICSE (2016)
Thomas Gabor, Lenz Belzner, Marie Kiermeier, Michael Till Beck, Alexander Neitz
A Simulation-Based Architecture for Smart Cyber-Physical Systems. ICAC (2016)
Lenz Belzner, Alexander Neitz
Learning relational probabilistic action models for online planning with decision forests. SAC (2016)
Stefanie Neubert, Lenz Belzner, Martin Wirsing
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. Logic, Rewriting, and Concurrency (2015)
Lenz Belzner, Rolf Hennicker, Martin Wirsing
OnPlan: A Framework for Simulation-Based Online Planning. FACS (2015)
Matthias M. Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch, Anton Fasching, Annabelle Klarl, Christian Kroiss, Laith Raed
Ode to the PST. Software, Services, and Systems (2015)
Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software (2014)
Lenz Belzner
Value Iteration for Relational MDPs in Rewriting Logic. STAIRS (2014)
Lenz Belzner
Verifiable Decisions in Autonomous Concurrent Systems. COORDINATION (2014)
Lenz Belzner
Action Programming In Rewriting Logic. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)