Verifying Safety of Behaviour Trees in Event-B

Open in new window