Composition of Stochastic Transition Systems Based on Spans and Couplings

DOI10.4230/LIPIcs.ICALP.2016.102zbMath1388.68196OpenAlexW2529909874MaRDI QIDQ4598243

Sascha Klüppelholz, Daniel Gburek, Christel Baier

Publication date: 19 December 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#GburekBK16

zbMATH Keywords

compositionbisimulationcongruencecouplingPolish spacespanstochastically independentstochastic hybrid motion automatastochastic transition system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

When are stochastic transition systems tameable? ⋮ Cost vs. time in stochastic games and Markov automata ⋮ Unnamed Item ⋮ Decisiveness of stochastic systems and its application to hybrid models

This page was built for publication: Composition of Stochastic Transition Systems Based on Spans and Couplings