Cited By
View all- Falqueto PAntonucci APalopoli LFontanelli D(2024)Humanising robot-assisted navigationIntelligent Service Robotics10.1007/s11370-023-00495-117:2(155-165)Online publication date: 1-Mar-2024
- Jimenez MMello RLoterio FFrizera-Neto A(2024)Multimodal Interaction Strategies for Walker-Assisted Gait: A Case Study for Rehabilitation in Post-Stroke PatientsJournal of Intelligent and Robotic Systems10.1007/s10846-023-02031-w110:1Online publication date: 16-Jan-2024
- Dam KDuchene FGiven-Wilson TCordy MLegay A(2022)Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of ConceptLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_17(279-298)Online publication date: 22-Oct-2022
- Show More Cited By