- Tytuł:
-
Cooperation of multiple autonomous robots and analysis of their swarm behawior
Współpraca roju autonomicznych robotów i analiza ich zbiorowych zachowań - Autorzy:
-
Czejdo, B.
Daszczuk, W. B.
Grabski, W.
Bhattacharya, S. - Tematy:
-
autonomous robots
behavior verification
model checking
integrated model of distributed systems
deadlock
termination
autonomiczne roboty
weryfikacja zachowań
weryfikacja modelowa
zintegrowany model systemów rozproszonych
zakleszczenie
terminacja - Pokaż więcej
- Data publikacji:
- 2018
- Wydawca:
- Instytut Naukowo-Wydawniczy "SPATIUM"
- Dostawca treści:
- Biblioteka Nauki
Artykuł