6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LG2020★ 6 cited
Average Reward Adjusted Discounted Reinforcement Learning: Near-Blackwell-Optimal Policies for Real-World Applications
Manuel Schneckenreither
Although in recent years reinforcement learning has become very popular the number of successful applications to different kinds of operations research problems is rather scarce. R…
cs.LO2018
Automated Amortised Resource Analysis for Term Rewrite Systems
Georg Moser, Manuel Schneckenreither
In this paper we establish an automated amortised resource analysis for term rewrite systems. The method is presented in an annotated type system and gives rise to polynomial bound…