The following pages link to Validation of Stochastic Systems (Q5325845):
Displaying 15 items.
- An analytical model for end-to-end communication channel over PLCN based on QBDs (Q990086) (← links)
- A note on the attractor-property of infinite-state Markov chains (Q1045897) (← links)
- Simulating perfect channels with probabilistic lossy channels (Q1776399) (← links)
- Verifying lossy channel systems has nonprimitive recursive complexity. (Q1853078) (← links)
- Using forward reachability analysis for verification of lossy channel systems (Q1878928) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Quantitative analysis of probabilistic lossy channel systems (Q2495651) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Verification of probabilistic systems with faulty communication (Q2573634) (← links)
- Timed lossy channel systems (Q2957514) (← links)
- Proof of the Outage Probability Conjecture for MISO Channels (Q2989235) (← links)
- Mixing Lossy and Perfect Fifo Channels (Q3541029) (← links)
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness (Q3613069) (← links)
- (Q4417855) (← links)
- Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties (Q5277794) (← links)