Lenz Belzner

According to our database1, Lenz Belzner authored at least 38 papers between 2013 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.
Sci. Comput. Program., 2021

Resilient Multi-Agent Reinforcement Learning with Adversarial Value Decomposition.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.
Int. J. Softw. Tools Technol. Transf., 2020

The Holy Grail of Quantum Artificial Intelligence: Major Challenges in Accelerating the Machine Learning Pipeline.
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.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Multi-agent Reinforcement Learning for Bargaining under Risk and Asymmetric Information.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019
Emergent Escape-based Flocking Behavior using Multi-Agent Reinforcement Learning.
CoRR, 2019

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

Bayesian Surprise in Indoor Environments.
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.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Memory Bounded Open-Loop Planning in Large POMDPs Using Thompson Sampling.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Risk-Sensitivity in Simulation Based Online Planning.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Action Markets in Deep Multi-Agent Reinforcement Learning.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms.
Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

Trajectory annotation using sequences of spatial perception.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Scalable Multiagent Coordination with Distributed Online Open Loop Planning.
CoRR, 2017

Monte Carlo Action Programming.
CoRR, 2017

Empirical Evaluation of a Distributed Deployment Strategy for Virtual Networks.
Proceedings of the Mobile, Secure, and Programmable Networking, 2017

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

Bayesian Verification under Model Uncertainty.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Qualitative assessment of recurrent human motion.
Proceedings of the 25th European Signal Processing Conference, 2017

2016
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations.
LNCS Trans. Found. Mastering Chang., 2016

QoS-Aware Multi-armed Bandits.
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.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Time-adaptive cross entropy planning.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Software engineering for distributed autonomous real-time systems.
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

A Simulation-Based Architecture for Smart Cyber-Physical Systems.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015
OnPlan: A Framework for Simulation-Based Online Planning.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.
Proceedings of the Logic, Rewriting, and Concurrency, 2015


2014
Value Iteration for Relational MDPs in Rewriting Logic.
Proceedings of the STAIRS 2014, 2014

Verifiable Decisions in Autonomous Concurrent Systems.
Proceedings of the Coordination Models and Languages, 2014

Reasoning (on) Service Component Ensembles in Rewriting Logic.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Action Programming In Rewriting Logic.
Theory Pract. Log. Program., 2013


  Loading...