Lenz Belzner

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning.

[BibT_eX]

[DOI]

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

Self-Replication in Neural Networks.

[BibT_eX]

[DOI]

Artif. Life, 2022

On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Emergent Cooperation from Mutual Acknowledgment Exchange.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

VAST: Value Function Factorization with Variable Agent Sub-Teams.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Learning to Penalize Other Learning Agents.

[BibT_eX]

[DOI]

Kyrill Schmid

Proceedings of the 2021 Conference on Artificial Life, 2021

A Sustainable Ecosystem through Emergent Cooperation in Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Artificial Life, 2021

Distributed Emergent Agreements with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2021

Stochastic Market Games.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

DYME: A Dynamic Metric for Dialog Modeling Learned from Human Conversations.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 28th International Conference, 2021

Resilient Multi-Agent Reinforcement Learning with Adversarial Value Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

The Holy Grail of Quantum Artificial Intelligence: Major Challenges in Accelerating the Machine Learning Pipeline.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Uncertainty-based Out-of-Distribution Classification in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Multi-agent Reinforcement Learning for Bargaining under Risk and Asymmetric Information.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

Uncertainty-Based Out-of-Distribution Detection in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2019

Emergent Escape-based Flocking behavior using Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 2019 Conference on Artificial Life, 2019

Self-Replication in Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2019 Conference on Artificial Life, 2019

Bayesian Surprise in Indoor Environments.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2019

Distributed Policy Iteration for Scalable Approximation of Cooperative Multi-Agent Policies.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Memory Bounded Open-Loop Planning in Large POMDPs Using Thompson Sampling.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Risk-Sensitivity in Simulation Based Online Planning.

[BibT_eX]

[DOI]

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Action Markets in Deep Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

Trajectory annotation using sequences of spatial perception.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2018

Inheritance-based diversity measures for explicit convergence control in evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Scalable Multiagent Coordination with Distributed Online Open Loop Planning.

[BibT_eX]

[DOI]

CoRR, 2017

Monte Carlo Action Programming.

[BibT_eX]

[DOI]

CoRR, 2017

Empirical Evaluation of a Distributed Deployment Strategy for Virtual Networks.

[BibT_eX]

[DOI]

Proceedings of the Mobile, Secure, and Programmable Networking, 2017

Stacked Thompson Bandits.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

Bayesian Verification under Model Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

Genealogical distance as a diversity estimate in evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Qualitative assessment of recurrent human motion.

[BibT_eX]

[DOI]

Proceedings of the 25th European Signal Processing Conference, 2017

2016

Collective Autonomic Systems: Towards Engineering Principles and Their Foundations.

[BibT_eX]

[DOI]

LNCS Trans. Found. Mastering Chang., 2016

QoS-Aware Multi-armed Bandits.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Learning relational probabilistic action models for online planning with decision forests.

[BibT_eX]

[DOI]

Alexander Neitz

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Time-adaptive cross entropy planning.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Software engineering for distributed autonomous real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

A Simulation-Based Architecture for Smart Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015

OnPlan: A Framework for Simulation-Based Online Planning.

[BibT_eX]

[DOI]

Rolf Hennicker

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.

[BibT_eX]

[DOI]

Stefanie Neubert

Proceedings of the Logic, Rewriting, and Concurrency, 2015

Ode to the PST.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

Value Iteration for Relational MDPs in Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2014, 2014

Verifiable Decisions in Autonomous Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2014

Reasoning (on) Service Component Ensembles in Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Action Programming In Rewriting Logic.

[BibT_eX]

[DOI]