Pages that link to "Item:Q1660934"
From MaRDI portal
The following pages link to Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots (Q1660934):
Displayed 10 items.
- On asynchronous rendezvous in general graphs (Q1625604) (← links)
- TuringMobile: a Turing machine of oblivious mobile robots with limited visibility and its applications (Q2121061) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← 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)
- Embedded pattern formation by asynchronous robots without chirality (Q2318112) (← links)
- Model Checking of Robot Gathering (Q3300809) (← links)
- (Q5090910) (← links)
- Gathering in the plane of location-aware robots in the presence of spies (Q5918903) (← links)
- Synchronous gathering without multiplicity detection: a certified algorithm (Q5920218) (← links)