Model-Based Testing of an Industrial Multi-Robot Navigation SystemClemens Mühlbacher (Graz University of Technology), Gerald Steinbauer (Graz University of Technology), Stefan Gspandl (incubedIT), Micheal Reip (incubedIT)AbstractThe abstract for this paper is not yet available.