Pages that link to "Item:Q1941879"
From MaRDI portal
The following pages link to Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879):
Displayed 4 items.
- A nearly optimal upper bound for the self-stabilization time in Herman's algorithm (Q498668) (← links)
- Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment (Q1666714) (← links)
- Reachability in parametric interval Markov chains using constraints (Q1786613) (← links)
- A tighter bound for the self-stabilization time in Herman's algorithm (Q2444741) (← links)