Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: ROSRV: Runtime verification for robots
ROS: an open-source Robot Operating System
PEIS, MIRA, and ROS: Three frameworks, one service robot — A tale of integration
An Experimental Security Analysis of an Industrial Robot Controller
Design and use paradigms for Gazebo, an open-source multi-robot simulator
Deliberation for autonomous robots: A survey
On 3D simulators for multi-robot systems in ROS: MORSE or Gazebo?
Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices
QBF-Based Formal Verification: Experience and Perspectives
Software-Defined Robotics -- Idea&Approach
Risk-RRT∗: A robot motion planning algorithm for the human robot coexisting environment
Automating formal proofs for reactive systems
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
Formal verification of ethical choices in autonomous systems
Formal verification of a realistic compiler
Dimensional inconsistencies in code and ROS messages: A study of 5.9M lines of code
A Model-Driven Engineering Approach for ROS using Ontological Semantics
Behavioral consistency of C and Verilog programs using bounded model checking
Robot Operating System (ROS) for Absolute Beginners
A Service-Oriented Architecture for Virtualizing Robots in Robot-as-a-Service Clouds
Ontologies used in robotics: A survey with an outlook for automated driving
Early Sensitivity to Arguments: How Preschoolers Weight Circular Arguments
two - dimensional aod and aoa acquisition for wideband mmwave systems with cross - polarized mimo .
Query Intent Detection using Convolutional Neural Networks
Representation Learning of Knowledge Graphs with Entity Descriptions
Development environments for autonomous mobile robots: A survey