141 followers
Slicing Behavior Tree Models for Verification (2014) : Yatapanage, Nisansala and Winter, Kirsten and Zafar, Saad DOI: https://t.co/l2BF27F8la #behaviour_tree #case_study #dependence #documentation #graph #health_care #model_check #my_bibtex