Verifying Safety of Behaviour Trees in Event-B.

Matteo Tadiello Elena Troubitsyna

Published in: FMAS/ASYDE@SEFM (2022)

Keyphrases

event detection
decision trees
tree structure
event recognition
data structure
machine learning
model checking
news articles
event driven
events occur
events occurring
event processing
nuclear power plant
safety critical
human behaviour
event logs
temporal relations
temporal patterns
search algorithm