Interfacing a robot and truck - Distributed, modular application platform capable of interfacing truck, robot and technician to enable collaborative work between man and machine.
An introduction to ROS, the Robot Operating System
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning
Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems
Active Learning of Modular Plant Models