EPSRC: ISF 2015 - Runtime Verification of Autonomous Agents