ORIGINAL RESEARCH
Published on 16 Jul 2025
A model-based approach to automation of formal verification of ROS 2-based systems
doi 10.3389/frobt.2025.1592523
- 1,154 views
- Frontiers in Robotics and AI
- Computational Intelligence in Robotics
- Research Topics
- Robotics Software Engineering
Robotics Software Engineering
4,745
Total downloads
27k
Total views and downloads
Articles
ORIGINAL RESEARCH
Published on 20 May 2025
ROSA: a knowledge-based solution for robot self-adaptation
doi 10.3389/frobt.2025.1531743
- 1,698 views
ORIGINAL RESEARCH
Published on 02 Apr 2025
Energy efficiency in ROS communication: a comparison across programming languages and workloads
doi 10.3389/frobt.2025.1548250
- 1,742 views
ORIGINAL RESEARCH
Published on 29 Jan 2025
Semantic composition of robotic solver algorithms on graph structures
doi 10.3389/frobt.2024.1363150
- 1,212 views
ORIGINAL RESEARCH
Published on 03 Jan 2025
EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection
doi 10.3389/frobt.2024.1363443
- 1,103 views
ORIGINAL RESEARCH
Published on 03 Oct 2024
AAT4IRS: automated acceptance testing for industrial robotic systems
doi 10.3389/frobt.2024.1346580
- 1,453 views
- 1 citation
TECHNOLOGY AND CODE
Published on 04 Sep 2024
Software patterns and data structures for the runtime coordination of robots, with a focus on real-time execution performance
doi 10.3389/frobt.2024.1363041
- 1,522 views
ORIGINAL RESEARCH
Published on 02 Aug 2024
Composable and executable scenarios for simulation-based testing of mobile robots
doi 10.3389/frobt.2024.1363281
- 1,637 views
- 1 citation
SYSTEMATIC REVIEW
Published on 10 Jul 2024
A survey of ontology-enabled processes for dependable robot autonomy
doi 10.3389/frobt.2024.1377897
- 2,999 views
- 2 citations
ORIGINAL RESEARCH
Published on 24 Apr 2024
A containerised approach for multiform robotic applications
doi 10.3389/frobt.2024.1358978
- 1,175 views
ORIGINAL RESEARCH
Published on 28 Oct 2022
Architectural modelling for robotics: RoboArch and the CorteX example
doi 10.3389/frobt.2022.991637
- 3,502 views
- 4 citations
