Pages that link to "Item:Q5758103"

The following pages link to Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking (Q5758103):

Displaying 23 items.

• Deciding probabilistic automata weak bisimulation: theory and practice (Q282105) (← links)
• Three-valued abstraction for probabilistic systems (Q444484) (← links)
• Branching bisimulation congruence for probabilistic systems (Q764289) (← links)
• Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
• Performability assessment by model checking of Markov reward models (Q968359) (← links)
• Parity game reductions (Q1656552) (← links)
• Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
• Probabilistic model checking of complex biological pathways (Q2474435) (← links)
• An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
• On Abstraction of Probabilistic Systems (Q2937733) (← links)
• Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
• Efficient CTMC Model Checking of Linear Real-Time Objectives (Q3000642) (← links)
• The How and Why of Interactive Markov Chains (Q3066128) (← links)
• Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Q3090825) (← links)
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
• On the Minimisation of Acyclic Models (Q3541025) (← links)
• Statistical model checking of stochastic component-based systems (Q5106945) (← links)
• Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
• (Q5214815) (← links)
• Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
• The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
• On divergence-sensitive weak probabilistic bisimilarity (Q6040671) (← links)
• Automatically finding the right probabilities in Bayesian networks (Q6488813) (← links)