SIGREF
From MaRDI portal
Software:13603
No author found.
Related Items (13)
SMT-Based Bisimulation Minimisation of Markov Models ⋮ On Abstraction of Probabilistic Systems ⋮ Model Based Importance Analysis for Minimal Cut Sets ⋮ Polynomial time decision algorithms for probabilistic automata ⋮ Computing maximal weak and other bisimulations ⋮ Three-Valued Abstraction for Continuous-Time Markov Chains ⋮ Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking ⋮ A Symbolic Algorithm for Optimal Markov Chain Lumping ⋮ The How and Why of Interactive Markov Chains ⋮ Cost Preserving Bisimulations for Probabilistic Automata ⋮ Game-theoretic simulation checking tool ⋮ Compositional Abstraction for Stochastic Systems ⋮ Next-preserving branching bisimulation
This page was built for software: SIGREF
