Open Problems in Verification and Refinement of Autonomous Robotic Systems.

Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa

Browse the full DSD paper archive.