Pages that link to "Item:Q483063"
From MaRDI portal
The following pages link to Impossibility of gathering, a certification (Q483063):
Displaying 13 items.
- 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)
- Parameterized verification of algorithms for oblivious robots on a ring (Q2225474) (← links)
- Embedded pattern formation by asynchronous robots without chirality (Q2318112) (← links)
- Certification of an exact worst-case self-stabilization time (Q2680867) (← links)
- The agreement power of disagreement (Q2697537) (← links)
- A Framework for Certified Self-Stabilization (Q2827460) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- Wait-Free Gathering Without Chirality (Q3460724) (← links)
- (Q5090910) (← links)
- Stand up indulgent gathering (Q5918567) (← links)
- Stand up indulgent gathering (Q5918709) (← links)
- Synchronous gathering without multiplicity detection: a certified algorithm (Q5920218) (← links)
