Pages that link to "Item:Q2225474"
From MaRDI portal
The following pages link to Parameterized verification of algorithms for oblivious robots on a ring (Q2225474):
Displaying 5 items.
- Preface of the special issue on the conference on formal methods in computer-aided design 2017 (Q2058384) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Model Checking of Robot Gathering (Q3300809) (← links)
- Synchronous gathering without multiplicity detection: a certified algorithm (Q5920218) (← links)
- A framework for formal verification of robot kinematics (Q6561341) (← links)