Pages that link to "Item:Q5918186"
From MaRDI portal
The following pages link to Synchronous gathering without multiplicity detection: a certified algorithm (Q5918186):
Displaying 5 items.
- On asynchronous rendezvous in general graphs (Q1625604) (← links)
- Self-stabilizing gathering of mobile robots under crash or Byzantine faults (Q2204778) (← links)
- Parameterized verification of algorithms for oblivious robots on a ring (Q2225474) (← links)
- Model Checking of Robot Gathering (Q3300809) (← links)
- An environment for specifying and model checking mobile ring robot algorithms (Q6536330) (← links)