Towards an Extended Requirements Problem Formulation for Superintelligence Safety | IEEE Conference Publication | IEEE Xplore