"Reverse Engineering of Middleware for Verification of Robot Control ..."

Ali Khalili, Lorenzo Natale, Armando Tacchella (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics