Pages that link to "Item:Q3623003"
From MaRDI portal
The following pages link to Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (Q3623003):
Displaying 11 items.
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- Solving multistage quantified linear optimization problems with the alpha-beta nested Benders decomposition (Q904957) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
- (Q5009413) (← links)
