ORIGINAL RESEARCH
Accepted on 16 Jun 2025
A Model-Based Approach to Automation of Formal Verification of ROS 2-Based Systems
doi 10.3389/frobt.2025.1592523
- 331 views
- Frontiers in Robotics and AI
- Computational Intelligence in Robotics
- Research Topics
- Robotics Software Engineering
Robotics Software Engineering
4,324
Total downloads
24k
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,282 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,585 views
ORIGINAL RESEARCH
Published on 29 Jan 2025
Semantic composition of robotic solver algorithms on graph structures
doi 10.3389/frobt.2024.1363150
- 1,130 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,026 views
ORIGINAL RESEARCH
Published on 03 Oct 2024
AAT4IRS: automated acceptance testing for industrial robotic systems
doi 10.3389/frobt.2024.1346580
- 1,329 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,396 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,533 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,707 views
- 2 citations
ORIGINAL RESEARCH
Published on 24 Apr 2024
A containerised approach for multiform robotic applications
doi 10.3389/frobt.2024.1358978
- 1,121 views
ORIGINAL RESEARCH
Published on 28 Oct 2022
Architectural modelling for robotics: RoboArch and the CorteX example
doi 10.3389/frobt.2022.991637
- 3,382 views
- 4 citations
