Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Topics & Concepts
ToolchainComputer scienceAutomatonModel checkingFormalism (music)Formal verificationHuman–computer interactionRobotFormal methodsRepresentation (politics)Human–robot interactionArtificial intelligenceSoftware engineeringTheoretical computer scienceProgramming languagePoliticsLawVisual artsPolitical scienceSoftwareArtMusicalFormal Methods in VerificationAdvanced Software Engineering MethodologiesModel-Driven Software Engineering Techniques