Efficient modelling and generation of Markov automata

DOI10.1007/978-3-642-32940-1_26MaRDI QIDQ2912690zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Mark Timmer, Jaco van de Pol, Mariëlle I. A. Stoelinga, Joost-Pieter Katoen

Publication date 25 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/efficient-modelling-and-generation-of-markov-automata(735d6d1f-f276-4ec9-b432-8ea82b13ba21).html

Mathematics Subject Classification ID

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

Recommendations

• Confluence reduction for Markov automata
• Confluence reduction for Markov automata
• On the semantics of Markov automata
• Concurrency and composition in a stochastic world
• Long-Run Rewards for Markov Automata

Cited in

(12)

• A general SOS theory for the specification of probabilistic transition systems
• Pattern Markov Chains: Optimal Markov Chain Embedding Through Deterministic Finite Automata
• Cost vs. time in stochastic games and Markov automata
• A modest approach to Markov automata
• Sampling different kinds of acyclic automata using Markov chains
• A semantics for every GSPN
• A Tutorial on Interactive Markov Chains
• A modest Markov automata tutorial
• Confluence reduction for Markov automata
• Confluence reduction for Markov automata
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Performance preserving equivalence for stochastic process algebra dtsdPBC

Describes a project that uses

Uses Software

• CADP
• SCOOP

This page was built for publication: Efficient modelling and generation of Markov automata

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