Pages that link to "Item:Q2359768"
From MaRDI portal
The following pages link to Formal verification of mobile robot protocols (Q2359768):
Displaying 5 items.
- 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)
- Asynchronous arbitrary pattern formation: the effects of a rigorous approach (Q2422768) (← links)
- Model Checking of Robot Gathering (Q3300809) (← links)
