47 citations · 144 across the 34 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.MA2023★ 1 cited
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
David Klaška, Antonín Kučera, Vojtěch Kůr +2
Long-run average optimization problems for Markov decision processes (MDPs) require constructing policies with optimal steady-state behavior, i.e., optimal limit frequency of visit…
cs.FL2023
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
Michal Ajdarów, Antonín Kučera
The standard approach to analyzing the asymptotic complexity of probabilistic programs is based on studying the asymptotic growth of certain expected values (such as the expected t…