Home > Research > Publications & Outputs > Causally Deterministic Markov Decision Processes.

Links

Text available via DOI:

View graph of relations

Causally Deterministic Markov Decision Processes.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Close
Publication date9/09/2024
Host publication35th International Conference on Concurrency Theory, CONCUR 2024
EditorsRupak Majumdar, Alexandra Silva
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages6:1-6:22
Number of pages22
ISBN (electronic)9783959773393
<mark>Original language</mark>English

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume311
ISSN (Print)1868-8969

Abstract

Probabilistic systems are often modeled using factored versions of Markov decision processes (MDPs), where the states are composed out of the local states of components and each transition involves only a small subset of the components. Concurrency arises naturally in such systems. Our goal is to exploit concurrency when analyzing factored MDPs (FMDPs). To do so, we first formulate FMDPs in a way that aids this goal and port several notions from concurrency theory to the probabilistic setting of MDPs. In particular, we provide a concurrent semantics for FMDPs based on the classical notion of event structures, thereby cleanly separating causality, concurrency, and conflicts that arise from stochastic choices. We further identify the subclass of causally deterministic FMDPs (CMDPs), where non-determinism arises solely due to concurrency. Using our event structure semantics, we show that in CMDPs, local reachability properties can be computed using a “greedy” strategy. Finally, we implement our ideas in a prototype and apply it to four models, confirming the potential for substantial improvements over state-of-the-art methods.

Bibliographic note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.