An Interface for Programming Verifiable Autonomous Agents in ROS
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Topics & Concepts
Computer sciencePatrollingInterface (matter)RoboticsRobotAutonomous agentVerifiable secret sharingService (business)Artificial intelligenceAutonomous system (mathematics)Human–computer interactionSoftware engineeringDistributed computingProgramming languageOperating systemPolitical scienceSet (abstract data type)EconomyMaximum bubble pressure methodBubbleEconomicsLawMulti-Agent Systems and NegotiationRobotic Path Planning AlgorithmsLogic, Reasoning, and Knowledge