OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
Serena S. Serbinowska, Taylor T. Johnson
Lecture notes in computer science (2022), pp. 307-323
Closed Access | Times Cited: 6
Serena S. Serbinowska, Taylor T. Johnson
Lecture notes in computer science (2022), pp. 307-323
Closed Access | Times Cited: 6
Showing 6 citing articles:
Enabling Behaviour Tree Verification via a Translation to BIP
Qiang Wang, Huadong Dai, Yongxin Zhao, et al.
Lecture notes in computer science (2024), pp. 3-20
Closed Access
Qiang Wang, Huadong Dai, Yongxin Zhao, et al.
Lecture notes in computer science (2024), pp. 3-20
Closed Access
Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees
Martin Aubard, Sergio Quijano, Olaya Álvarez-Tuñón, et al.
(2024), pp. 1-6
Open Access
Martin Aubard, Sergio Quijano, Olaya Álvarez-Tuñón, et al.
(2024), pp. 1-6
Open Access
Planning for Automated Testing of Implicit Constraints in Behavior Trees
Uwe Köckemann, Daniele Calisi, Guglielmo Gemignani, et al.
Proceedings of the International Conference on Automated Planning and Scheduling (2023) Vol. 33, Iss. 1, pp. 649-658
Open Access | Times Cited: 1
Uwe Köckemann, Daniele Calisi, Guglielmo Gemignani, et al.
Proceedings of the International Conference on Automated Planning and Scheduling (2023) Vol. 33, Iss. 1, pp. 649-658
Open Access | Times Cited: 1
Formal Verification Based Synthesis for Behavior Trees
Weijiang Hong, Zhenbang Chen, Minglong Li, et al.
Lecture notes in computer science (2023), pp. 72-91
Closed Access
Weijiang Hong, Zhenbang Chen, Minglong Li, et al.
Lecture notes in computer science (2023), pp. 72-91
Closed Access
CSP based Formal Modeling and Verification of Behavior Trees
Peishan Huang, Weijiang Hong, Zhenbang Chen, et al.
(2023), pp. 1-2
Closed Access
Peishan Huang, Weijiang Hong, Zhenbang Chen, et al.
(2023), pp. 1-2
Closed Access
