Efficient Modelling and Generation of Markov Automata

DOI10.1007/978-3-642-32940-1_26zbMath1364.68295OpenAlexW2111987809WikidataQ57801061 ScholiaQ57801061MaRDI QIDQ2912690

Jaco van de Pol, Mark Timmer, 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) 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 (7)

A general SOS theory for the specification of probabilistic transition systems ⋮ A Semantics for Every GSPN ⋮ Markov automata with multiple objectives ⋮ Cost vs. time in stochastic games and Markov automata ⋮ A Tutorial on Interactive Markov Chains ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Confluence reduction for Markov automata

Uses Software

• CADP
• SCOOP

This page was built for publication: Efficient Modelling and Generation of Markov Automata