READ ME File For 'Rodin Developments for Formal Policing Functions based on Metamorphic Relations'
==================================================================================================

**Dataset DOI:**  10.5258/SOTON/D0528

**Author:** Thai Son Hoang, University of Southampton

**This dataset supports the publication:**
*Authors:* Thai Son Hoang, Naoto Sato, Tomoyuki Myojin, Michael Butler, Yuichiroh Nakagawa, and Hideto Ogawa
*Title:* Policing Functions for Machine Learning Systems
*Event:* Workshop on Verification and Validation of Autonomous Systems
18-19 July 2018, University of Oxford
Oxford, UK

This dataset contains:
======================
The Rodin archives of the developments are as follows

- *PFGeneric.zip* Generic policing function based on metamorphic testings
- *ShortestPath.zip* Policing function for traffic sign image recognition
- *TrafficSigns.zip* Policing function for finding shortest paths program

**Date of data collection:** May 2018

**Information about geographic location of data collection:** University of Southampton, U.K.

**Date that the file was created:** May 2018