Show simple item record

dc.contributor.authorAnwer, Sajid
dc.contributor.authorWen, Lian
dc.contributor.authorWang, Zhe
dc.description.abstractIn the last two decades, several studies have been carried out to translate Behavior Trees (BTs) into other formal languages. However, as BTs are usually drawn directly from natural languages, there is no formal grammar to define what is a valid BT. In this research, we first propose a normal form for requirement BT as a building block for a valid BT, and then design a context-free grammar that can generate and verify all valid BTs. This work provides a solid foundation for BT research and will improve the quality of requirements modeling by identifying some common requirement defects.
dc.relation.ispartofconferencename2020 27th Asia-Pacific Software Engineering Conference (APSEC)
dc.relation.ispartofconferencetitle2020 27th Asia-Pacific Software Engineering Conference (APSEC)
dc.titleA Formal Model for Behavior Trees Based on Context - Free Grammar
dc.typeConference output
dcterms.bibliographicCitationAnwer, S; Wen, L; Wang, Z, A Formal Model for Behavior Trees Based on Context - Free Grammar, 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 2020, pp. 465-469
gro.hasfulltextNo Full Text
gro.griffith.authorAnwer, Sajid
gro.griffith.authorWen, Larry
gro.griffith.authorWang, Zhe

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record