Browsing by Subject "Formal verification"
Now showing items 1-2 of 2
-
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
(Springer NatureSuiza, 2017)Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ... -
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
(Springer NatureColombia, 2017)Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...