Academic Journal
Correct-By-Construction Behavior Tree Synthesis From Signal Temporal Logic Specifications With Application to Robotic Missions
| Τίτλος: | Correct-By-Construction Behavior Tree Synthesis From Signal Temporal Logic Specifications With Application to Robotic Missions |
|---|---|
| Συγγραφείς: | Dong, J., Han, L., Huang, J. |
| Πηγή: | IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 11(11):13573-13580 Nov, 2026 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISSN: | 23773766 23773774 |
|---|---|
| DOI: | 10.1109/LRA.2026.3741773 |