Pages that link to "Item:Q1951578"
From MaRDI portal
The following pages link to On the semantics of Markov automata (Q1951578):
Displaying 17 items.
- Efficient approximation of optimal control for continuous-time Markov games (Q259052) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- (Q3384915) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q5009413) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
