A Deployment Framework for Formally Verified Human-Robot Interactions
Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Published in IEEE access (2021)
Published in IEEE access (2021)
Get full text
Journal Article
Specification, stochastic modeling and analysis of interactive service robotic applications
Lestingi, Livia, Zerla, Davide, Bersani, Marcello M., Rossi, Matteo
Published in Robotics and autonomous systems (01.05.2023)
Published in Robotics and autonomous systems (01.05.2023)
Get full text
Journal Article
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior
Lestingi, Livia, Bersani, Marcello M., Rossi, Matteo
Published in IEEE intelligent systems (01.11.2022)
Published in IEEE intelligent systems (01.11.2022)
Get full text
Journal Article
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
Lestingi, Livia, Manglaviti, Andrea, Marinaro, Davide, Marinello, Luca, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Published in Software and systems modeling (01.04.2024)
Published in Software and systems modeling (01.04.2024)
Get full text
Journal Article
Statistical Model Checking of Human-Robot Interaction Scenarios
Lestingi, Livia, Askarpour, Mehrnoosh, M. Bersani, Marcello, Rossi, Matteo
Published in Electronic proceedings in theoretical computer science (23.07.2020)
Published in Electronic proceedings in theoretical computer science (23.07.2020)
Get full text
Journal Article
Towards Better Trust in Human-Machine Teaming through Explainable Dependability
Bersani, Marcello M., Camilli, Matteo, Lestingi, Livia, Mirandola, Raffaela, Rossi, Matteo, Scandurra, Patrizia
Published in 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) (01.03.2023)
Published in 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) (01.03.2023)
Get full text
Conference Proceeding
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
Bersani, Marcello M., Camilli, Matteo, Lestingi, Livia, Mirandola, Raffaela, Rossi, Matteo
Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2023)
Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2023)
Get full text
Conference Proceeding
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
Bersani, Marcello M., Camilli, Matteo, Lestingi, Livia, Mirandola, Raffaela, Rossi, Matteo, Scandurra, Patrizia
Published in 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) (01.09.2023)
Published in 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) (01.09.2023)
Get full text
Conference Proceeding
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
Lestingi, Livia, Sbrolli, Cristian, Scarmozzino, Pasquale, Romeo, Giorgio, Bersani, Marcello M., Rossi, Matteo
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Get full text
Conference Proceeding
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications
Askarpour, Mehrnoosh, Lestingi, Livia, Buran, Federico, Rossi, Matteo, Vicentini, Federico
Published in 2020 IEEE International Conference on Human-Machine Systems (ICHMS) (01.09.2020)
Published in 2020 IEEE International Conference on Human-Machine Systems (ICHMS) (01.09.2020)
Get full text
Conference Proceeding
Statistical Model Checking of Human-Robot Interaction Scenarios
Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M, Rossi, Matteo
Published in arXiv.org (23.07.2020)
Published in arXiv.org (23.07.2020)
Get full text
Paper
Journal Article