Pages that link to "Item:Q453545"
From MaRDI portal
The following pages link to Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545):
Displaying 11 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- An efficient algorithm to determine probabilistic bisimulation (Q2633253) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- Simulation and Bisimulation for Probabilistic Timed Automata (Q3588096) (← links)
- (Q4484499) (← links)
- (Q4508289) (← links)
- (Q5294162) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)