Programming Multi-robot Systems with X-KLAIM-Reference-Cited by-同舟云学术

Programming Multi-robot Systems with X-KLAIM

Published:2022 Issue: Volume: Page:283-300
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
language:
Short-container-title:

Author:

Bettini Lorenzo^ORCID,Bourr Khalid,Pugliese Rosario^ORCID,Tiezzi Francesco^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-19759-8_18

Reference57 articles.

1. Adam, S., Larsen, M., Jensen, K., Schultz, U.P.: Rule-based dynamic safety monitoring for mobile robots. J. Softw. Eng. Rob. 7(1), 121–141 (2016)

2. Adam, S., Schultz, U.P.: Towards interactive, incremental programming of ROS nodes. In: Workshop on Domain-Specific Languages and models for Robotic systems (2014)

3. Alonso, D., et al.: V$$^3$$CMM: a 3-view component meta-model for model-driven robotic software development. J. Softw. Eng. Rob. 1, 3–17 (2010)

4. Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14), 1365–1394 (2002)

5. Lecture Notes in Computer Science;L Bettini,2020

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rigorous engineering of collective adaptive systems – 2nd special section;International Journal on Software Tools for Technology Transfer;2023-11-14

2. Coordinating and programming multiple ROS-based robots with X-KLAIM;International Journal on Software Tools for Technology Transfer;2023-11-02

3. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022