Slicing Behavior Trees for Verification of Large Systems
(2011) : Yatapanage, Nisansala Prasanthi
DOI: https://doi.org/10.25904/1912/2132
#CTL #behaviour_tree #branching_bisumulation #case_study #control_flow #dissertation #large_scale #model_checkin
#my_bibtex