3 papers
cs.AI2024
Multiple Mean-Payoff Optimization under Local Stability Constraints
David Klaška, Antonín Kučera, Vojtěch Kůr +2
The long-run average payoff per transition (mean payoff) is the main tool for specifying the performance and dependability properties of discrete systems. The problem of constructi…
cs.MA2023
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.DS2020
Fast Computation of Strong Control Dependencies
Marek Chalupa, David Klaška, Jan Strejček +1
We introduce new algorithms for computing non-termination sensitive control dependence (NTSCD) and decisive order dependence (DOD). These relations on control flow graph vertices h…