Safety Assessment Using Behavior Trees and Model Checking.

Peter A. Lindsay, Kirsten Winter, Nisansala Yatapanage

Browse the full SEFM paper archive.