Interfacing a robot and truck - Distributed, modular application platform capable of interfacing truck, robot and technician to enable collaborative work between man and machine.
On Supervisor Synthesis via Automata Learning
MIDES: A Tool for Supervisory Synthesis via Model Inference
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