EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework
Behavior Trees (BTs), originated from the control of Non-Player-Characters (NPCs), have been widely embraced in robotics and software engineering communities due to their modularity, reactivity, and other beneficial characteristics. It is highly desirable to synthesize BTs automatically. The consequ...
Uložené v:
| Vydané v: | Proceedings / International Conference on Software Engineering s. 54 - 65 |
|---|---|
| Hlavní autori: | , , , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
26.04.2025
|
| Predmet: | |
| ISSN: | 1558-1225 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Behavior Trees (BTs), originated from the control of Non-Player-Characters (NPCs), have been widely embraced in robotics and software engineering communities due to their modularity, reactivity, and other beneficial characteristics. It is highly desirable to synthesize BTs automatically. The consequent challenges are to ensure the generated BTs semantically correct, well-structured, and efficiently executable. To address these challenges, in this paper, we present a novel reactive synthesis method for BTs, namely EffBT, to generate correct and efficient controllers from formal specifications in GR(1) automatically. The idea is to construct BTs soundly from the intermediate strategies derived during the algorithm of GR(1) realizability check. Additionally, we introduce pruning strategies and use of Parallel nodes to improve BT execution, while none of the priors explored before. We prove the soundness of the EffBT method, and the experimental results demonstrate its effectiveness in various scenarios and datasets. |
|---|---|
| AbstractList | Behavior Trees (BTs), originated from the control of Non-Player-Characters (NPCs), have been widely embraced in robotics and software engineering communities due to their modularity, reactivity, and other beneficial characteristics. It is highly desirable to synthesize BTs automatically. The consequent challenges are to ensure the generated BTs semantically correct, well-structured, and efficiently executable. To address these challenges, in this paper, we present a novel reactive synthesis method for BTs, namely EffBT, to generate correct and efficient controllers from formal specifications in GR(1) automatically. The idea is to construct BTs soundly from the intermediate strategies derived during the algorithm of GR(1) realizability check. Additionally, we introduce pruning strategies and use of Parallel nodes to improve BT execution, while none of the priors explored before. We prove the soundness of the EffBT method, and the experimental results demonstrate its effectiveness in various scenarios and datasets. |
| Author | Huang, Peishan Li, Minglong Wang, Ji Wu, Ziji Wen, Shanghua Huang, Yu |
| Author_xml | – sequence: 1 givenname: Ziji surname: Wu fullname: Wu, Ziji email: wuziji@nudt.edu.cn organization: National University of Defense Technology,State Key Laboratory of Complex & Critical Software Environment,Changsha,China – sequence: 2 givenname: Yu surname: Huang fullname: Huang, Yu email: huangyu@nudt.edu.cn organization: National University of Defense Technology,State Key Laboratory of Complex & Critical Software Environment,Changsha,China – sequence: 3 givenname: Peishan surname: Huang fullname: Huang, Peishan email: huang_ps@nudt.edu.cn organization: National University of Defense Technology,State Key Laboratory of Complex & Critical Software Environment,Changsha,China – sequence: 4 givenname: Shanghua surname: Wen fullname: Wen, Shanghua email: shanghua_w@126.com organization: College of Computer Science and Technology, National University of Defense Technology,Changsha,China – sequence: 5 givenname: Minglong surname: Li fullname: Li, Minglong email: liminglong10@nudt.edu.cn organization: College of Computer Science and Technology, National University of Defense Technology,Changsha,China – sequence: 6 givenname: Ji surname: Wang fullname: Wang, Ji email: wj@nudt.edu.cn organization: National University of Defense Technology,State Key Laboratory of Complex & Critical Software Environment,Changsha,China |
| BookMark | eNotkMFOwzAQRA0Cibb0D3rwD6Ss7ayd5dZWKVSqhETLuXKSjWqgDkpCgb8nEpxmpKd5hxmLq9hEFmKmYK4U0N1mtcsRTermGjTOAbTGCzElR5kxCgEtqUsxUohZogZ2I8Zd9woANiUaiW1e18v9vVxEObRQBo69XPLRn0PTyn3LLJ_Zl304s9z9xP7IXeikj5XMv7n87EMT5br1J_5q2rdbcV37946n_zkRL-t8v3pMtk8Pm9Vim3htoU9UVUBp0Ft2SGw8WmtrTFVJ6GpDmSs1UgpFpXWNBXPqcBhQVpFNFanCTMTszxuY-fDRhpNvfw7DHZoInPkFHA9PEA |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/ICSE55347.2025.00225 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9798331505691 |
| EISSN | 1558-1225 |
| EndPage | 65 |
| ExternalDocumentID | 11029907 |
| Genre | orig-research |
| GroupedDBID | -~X .4S .DC 29O 5VS 6IE 6IF 6IH 6IK 6IL 6IM 6IN 8US AAJGR AAWTH ABLEC ADZIZ ALMA_UNASSIGNED_HOLDINGS ARCSS AVWKF BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO EDO FEDTE I-F IEGSK IJVOP IPLJI M43 OCL RIE RIL RIO |
| ID | FETCH-LOGICAL-a260t-1db0c35a6e759e3a5666f541c957f3987c25940bd22f5bee475b0c98d964191b3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 1 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001538318100004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 01:40:13 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a260t-1db0c35a6e759e3a5666f541c957f3987c25940bd22f5bee475b0c98d964191b3 |
| PageCount | 12 |
| ParticipantIDs | ieee_primary_11029907 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-April-26 |
| PublicationDateYYYYMMDD | 2025-04-26 |
| PublicationDate_xml | – month: 04 year: 2025 text: 2025-April-26 day: 26 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings / International Conference on Software Engineering |
| PublicationTitleAbbrev | ICSE |
| PublicationYear | 2025 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0006499 |
| Score | 2.296575 |
| Snippet | Behavior Trees (BTs), originated from the control of Non-Player-Characters (NPCs), have been widely embraced in robotics and software engineering communities... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 54 |
| SubjectTerms | Behavior Trees Efficient Execution Formal specifications Reactive Synthesis Robots Software engineering |
| Title | EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework |
| URI | https://ieeexplore.ieee.org/document/11029907 |
| WOSCitedRecordID | wos001538318100004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEJ4I8eAJHxjf6cHrCrvbx9abkiWaEEIEDTfSdqcJl8UsYPTf25YFvXjw1jRpm_QxM1_b7xuAW1RWxtroSAvDIspQRIo6lOJ2B-MZtZoGBb63gRgOs-lUjmqyeuDCIGL4fIZ3vhje8ouFWfurso5zVd56igY0hOAbstbO7HIXu9fcuLgrO8-9cc5YSoXDgEm4N_HZsH9lUAkOpN_659CH0P6h4pHRzskcwR6Wx9Da5mIg9dE8gUFu7ePknjyUJA-qEK47UosfVmRSIZIXVMG4kfFX6cK-5XxJVFmQ_BNN2H2kv_2o1YbXfj7pPUV1poRIOTyyiuJCd03KFEfBJKbKxWjcMhobyYRNZSaMQzm0q4sksUwjUsFcA5kVklMH2HR6Cs1yUeIZkKyrEmQJKmEFRWk0oxhzr1KvhRusOIe2n53Z-0YMY7admIs_6i_hwC-Af4BJ-BU0V9Uar2HffKzmy-omLOE3E3OcHw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwMhECZaTfRUHzW-5eB17T5gWbxps00b16axq-mtAXZIetmabWv03wt0W7148EZIgITHzHzA9w1CtyA0D6SSnmSKeoQC8wQxKMXsDhonREviFPjeMjYYJOMxH9ZkdceFAQD3-QzubNG95RcztbRXZW3jqqz1ZNtohxLT44qutTG8sYnea3Zc4PN2vzNKKY0IMygwdDcnNh_2rxwqzoV0m_8c_AC1fsh4eLhxM4doC8oj1FxnY8D14TxGWar1Y36PH0qcOl0I0x2u5Q8rnFcA-AWEM2949FWawG8-nWNRFjj9BOX2H-6uv2q10Gs3zTs9r86V4AmDSBZeUEhfRVTEwCiHSJgoLdaUBIpTpiOeMGVwDvFlEYaaSgDCqGnAk4LHxEA2GZ2gRjkr4RThxBch0BAE04wAV5ISCGKrUy-ZGaw4Qy07O5P3lRzGZD0x53_U36C9Xv6cTbL-4OkC7dvFsM8xYXyJGotqCVdoV30spvPq2i3nN2N4n2Y |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+%2F+International+Conference+on+Software+Engineering&rft.atitle=EffBT%3A+An+Efficient+Behavior+Tree+Reactive+Synthesis+and+Execution+Framework&rft.au=Wu%2C+Ziji&rft.au=Huang%2C+Yu&rft.au=Huang%2C+Peishan&rft.au=Wen%2C+Shanghua&rft.date=2025-04-26&rft.pub=IEEE&rft.eissn=1558-1225&rft.spage=54&rft.epage=65&rft_id=info:doi/10.1109%2FICSE55347.2025.00225&rft.externalDocID=11029907 |