Results 251 to 260 of about 217,608 (286)
Some of the next articles are maybe not open access.
Automatic software verification for robotics
AI Communications, 2008This thesis investigates the application of novel software verification techniques to robotic systems. Control software lies at the core of these systems, and its complexity poses several challenges to the verification task, among which the intensive use of numeric values and constraints, and the manipulation of data structures.
openaire +1 more source
A Software Products Line as Educational Tool to Learn Industrial Robots Programming with Arduino
Electronics (Switzerland), 2022Andrés Felipe Solis Pino +2 more
exaly
A software framework for agricultural and forestry robots
Industrial Robot, 2013Thomas Hellström, Ola Ringdahl
exaly