Software Synthesis From High-Level Specification for Swarm Robotic Applications
| Title: | Software Synthesis From High-Level Specification for Swarm Robotic Applications |
|---|---|
| Authors: | Kang, W., Jeong, E., Yoon, K., Ha, S. |
| Source: | IEEE Embedded Systems Letters IEEE Embedded Syst. Lett. Embedded Systems Letters, IEEE. 16(3):243-246 Sep, 2024 |
| Database: | IEEE Xplore Digital Library |
| ISSN: | 19430663 19430671 |
|---|---|
| DOI: | 10.1109/LES.2023.3339159 |
| Published in: | IEEE Embedded Systems Letters, Embedded Systems Letters, IEEE, IEEE Embedded Syst. Lett. |