Efficient Modelling, Generation and Analysis of Markov Automata

Computer Science

• State Space 100%
• Automaton 100%
• Partial Order Reduction 66%
• Models 50%
• Nondeterminism 50%
• Markov Chain 50%
• Dead Variable 33%
• Model Checking 33%
• Speed-up 33%
• Case Study 33%
• Probabilistic Choice 33%
• continuous-time 16%
• discrete-time 16%
• Time Markov Chain 16%
• Qualitative Property 16%
• Transition System 16%
• Parallel Composition 16%
• Syntactics 16%
• Subclasses 16%
• Contexts 16%
• Transformations 16%
• Statistical Model 16%
• Branching Time 16%
• Data Variable 16%
• Reachability Probability 16%