Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Abstract

The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components according to their limiting behavior with respect to the accumulated weights. These algorithms are used to provide solutions for two types of fundamental problems for integer-weighted MDPs. First, a polynomial-time algorithm for the classical stochastic shortest path problem is presented, generalizing known results for special classes of weighted MDPs. Second, qualitative probability constraints for weight-bounded (repeated) reachability conditions are addressed. Among others, it is shown that the problem to decide whether a disjunction of weight-bounded reachability conditions holds almost surely under some scheduler belongs to NP ∩ coNP, is solvable in pseudo-polynomial time and is at least as hard as solving two-player mean-payoff games, while the corresponding problem for universal quantification over schedulers is solvable in polynomial time.

Details

OriginalspracheEnglisch
TitelLICS '18
Herausgeber (Verlag)Association for Computing Machinery (ACM)
Seiten86-94
Seitenumfang9
ISBN (Print)9781450355834
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Konferenz

Titel33rd Annual ACM/IEEE Symposium on Logic in Computer Science
KurztitelLICS 2018
Veranstaltungsnummer33
Beschreibungpart of the 9th Federated Logic Conference (FLoC 2018)
Dauer9 - 12 Juli 2018
Webseite
OrtUniversity of Oxford
StadtOxford
LandGroßbritannien/Vereinigtes Königreich

Externe IDs

Scopus 85051101721
ORCID /0000-0002-5321-9343/work/142236715

Schlagworte

Schlagwörter

  • Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes