An Interface for Programming Verifiable Autonomous Agents in ROS.

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Browse the full EUMAS paper archive.