- Tytuł:
- Cooperation of multiple autonomous robots and analysis of their swarm behawior
- Autorzy:
-
Czejdo, B.
Daszczuk, W. B.
Grabski, W.
Bhattacharya, S. - Data publikacji:
- 2018
- Słowa kluczowe:
-
autonomous robots
behavior verification
model checking
integrated model of distributed systems
deadlock
termination
robot autonomiczny
weryfikacja zachowań
weryfikacja modelowa
zintegrowany model systemów rozproszonych
zakleszczenie
terminacja - Pokaż więcej
- Dostawca treści:
- BazTech