Verifying Safety of Behaviour Trees in Event-B

Re-assign community