Heterogeneous Verification of an Autonomous Curiosity Rover
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Topics & Concepts
CuriosityComputer scienceAbstractionMars roverMars Exploration ProgramHuman–computer interactionPosition (finance)RobotControl (management)SpacecraftAutonomous system (mathematics)AutonomyComponent (thermodynamics)Exploration of MarsWork (physics)Formal verificationHierarchyArtificial intelligenceDistributed computingSystems engineeringTrajectorySimulationPosition paperComputer securitySoftware deploymentMars landingSlumpingReal-time computingAutonomous agentEmbedded systemRoboticsUnderwater Vehicles and Communication SystemsSocial Robot Interaction and HRIRobotics and Sensor-Based Localization