Automatic Safe Behaviour Tree Synthesis for Autonomous Agents | IEEE Conference Publication | IEEE Xplore