Board Thread:General Discussion/@comment-31337598-20180830115729/@comment-31337598-20180830235954

Those names exist in both Animax's English Subtitles and the French License Cards.

So yeah, those are official dub names.