Verifying and Validating Autonomous Systems: Towards an Integrated Approach.

Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi

Browse the full RV paper archive.