Causally deterministic Markov decision processes

DOI10.4230/LIPICS.CONCUR.2024.6MaRDI QIDQ6859953zbMATH OpenFDO

Authors S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2024.6

zbMATH Keywords

distributionMDPscausal determinism

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1302047 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 2000828 (Why is no real title available?)
• scientific article; zbMATH DE number 1538049 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A game-based abstraction-refinement framework for Markov decision processes
• A theory of distributed Markov chains
• Compositional probabilistic model checking with string diagrams of MDPs
• Distributed Markov chains
• Equivalence notions and model minimization in Markov decision processes
• Event structures and trace monoids
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• Partial Order Reduction for Markov Decision Processes: A Survey
• Petri nets, event structures and domains. I
• Probabilistic event structures and domains
• Probabilistic graphical models.
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Understanding Petri Nets
• Unfoldings: A partial-order approach to model checking.

This page was built for publication: Causally deterministic Markov decision processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6859953)