Languages for Specifying Missions of Robotic Applications
Swaib Dragule, Sergio García Gonzalo, Thorsten Berger, Patrizio Pelliccione
Topics & Concepts
RobotProfiling (computer programming)Computer scienceDomain (mathematical analysis)Software engineeringHuman–computer interactionMobile robotSystems engineeringService (business)Artificial intelligenceEngineeringProgramming languageMathematicsEconomicsMathematical analysisEconomyModel-Driven Software Engineering TechniquesFormal Methods in VerificationReal-Time Systems Scheduling