Specification, stochastic modeling and analysis of interactive service robotic applications
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi
Topics & Concepts
Computer scienceRoboticsHuman–computer interactionRobotVariety (cybernetics)Service (business)Domain (mathematical analysis)Pipeline (software)Artificial intelligenceService robotProcess (computing)Benchmark (surveying)Robotic paradigmsSoftware engineeringGeodesyEconomicsGeographyMathematical analysisEconomyProgramming languageMathematicsOperating systemAdvanced Software Engineering MethodologiesFormal Methods in VerificationModel-Driven Software Engineering Techniques