"Statistical Model Checking of Complex Robotic Systems."

Mohammed Foughali, Félix Ingrand, Cristina Seceleanu (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics