Analysing decisive stochastic processes

DOI10.4230/LIPICS.ICALP.2016.101MaRDI QIDQ4598242zbMATH OpenOpenAlexFDO

Authors Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier

Publication date 19 December 2017

Full work available at URL https://hal.inria.fr/hal-01397794

zbMATH Keywords

approximation schemedecisivenessreal-time stochastic processes

Mathematics Subject Classification ID

General theory of stochastic processes (60G07) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• When are stochastic transition systems tameable?
• Decisive Markov Chains
• Carrying probabilities to the infinite world
• scientific article; zbMATH DE number 5825965
• Stochastic timed automata

Cited in

(7)

• When are stochastic transition systems tameable?
• Decisiveness of stochastic systems and its application to hybrid models
• Carrying probabilities to the infinite world
• Decisiveness of stochastic systems and its application to hybrid models
• Decisive Markov Chains
• On discrete stochastic processes with disjunctive outcomes
• Probabilistic total store ordering

This page was built for publication: Analysing decisive stochastic processes

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