[IEEE 2017 14th International Bhurban Conference on Applied Sciences and Technology (IBCAST) - Islamabad, Pakistan (2017.1.10-2017.1.14)] 2017 14th International Bhurban Conference on Applied Sciences and Technology (IBCAST) - Formal modelling and verification approach for improving probabilistic behaviour of Robot Swarms
Amin, Saifullah, Elahi, Adnan, Saghar, Kashif, Mehmood, FaranYear:
2017
Language:
english
DOI:
10.1109/IBCAST.2017.7868084
File:
PDF, 831 KB
english, 2017