Suchergebnisse - "Lestingi, Livia"

A Deployment Framework for Formally Verified Human-Robot Interactions von Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo

“… In the future, assistive robots will spread to everyday settings and regularly interact with humans. This paper introduces a deployment approach for assistive …”
Volltext

Specification, stochastic modeling and analysis of interactive service robotic applications von Lestingi, Livia, Zerla, Davide, Bersani, Marcello M., Rossi, Matteo

“… Assistive robotic systems are quickly becoming a core technology for the service sector as they are understood capable of supporting people in need of …”
Volltext

How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models von Corbo, Simone, Bancale, Luca, Gennaro, Valeria De, Lestingi, Livia, Scotti, Vincenzo, Camilli, Matteo

“… Language is a deep-rooted means of perpetration of stereotypes and discrimination. Large Language Models, now a pervasive technology in our everyday lives, can …”
Volltext

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior von Lestingi, Livia, Bersani, Marcello M., Rossi, Matteo

“… In the future, robots will interact with humans in highly variable and unpredictable settings, such as healthcare and home assistance. Frameworks are, …”
Volltext

Proactive self-adaptation and assurance of explainable Human–Machine Teaming von Lestingi, Livia, Bersani, Marcello M., Camilli, Matteo, Mirandola, Raffaela, Rossi, Matteo, Scandurra, Patrizia

“… With the pervasiveness of software-intensive systems, autonomous agents are increasingly involved in missions entailing close cooperation with humans in …”
Volltext

Data-Driven Energy Modeling of Machining Centers Through Automata Learning von Lestingi, Livia, Frigerio, Nicla, Bersani, Marcello M., Matta, Andrea, Rossi, Matteo

“… The paper addresses the problem of estimating the energy consumed by production resources in manufacturing so that alternative process designs can be compared …”
Volltext

Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows von Guindani, Bruno, Camilli, Matteo, Lestingi, Livia, Bersani, Marcello Maria

“… In healthcare systems, practitioners are responsible for making decisions when a patient's health, or even life, are at stake. Real-time data-driven modeling, …”
Volltext

Formally-based Model-Driven Development of Collaborative Robotic Applications von Askarpour, Mehrnoosh, Lestingi, Livia, Longoni, Samuele, Iannacci, Niccolò, Rossi, Matteo, Vicentini, Federico

“… The development of Human Robot Collaborative (HRC) systems faces many challenges. First, HRC systems should be adaptable and re-configurable to support fast …”
Volltext

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification von Lestingi, Livia, Manglaviti, Andrea, Marinaro, Davide, Marinello, Luca, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo

“… Developing robotic applications with human–robot interaction for the service sector raises a plethora of challenges. In these settings, human behavior is …”
Volltext

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios von Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo

“… Robots are currently mostly found in industrial settings. In the future, a wider range of environments will benefit from their inclusion. This calls for the …”
Volltext

Statistical Model Checking of Human-Robot Interaction Scenarios von Lestingi, Livia, Askarpour, Mehrnoosh, M. Bersani, Marcello, Rossi, Matteo

Volltext

Towards Verifiable Multi-Agent Interaction Pattern Specification von Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo

“… Smart cyber agents play a crucial role in software-intensive systems by monitoring their physical surroundings and making impactful decisions. This paper …”
Volltext

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems von Bersani, Marcello M., Camilli, Matteo, Lestingi, Livia, Mirandola, Raffaela, Rossi, Matteo, Scandurra, Patrizia

“… Software-intensive systems include enterprise systems, IoT systems, cyber-physical systems, and industrial control systems where software plays a vital role …”
Volltext

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings von Lestingi, Livia, Sbrolli, Cristian, Scarmozzino, Pasquale, Romeo, Giorgio, Bersani, Marcello M., Rossi, Matteo

“… Service robots are increasingly widespread in healthcare and domestic assistance settings. Nevertheless, the literature still lacks robotic application …”
Volltext

Towards Better Trust in Human-Machine Teaming through Explainable Dependability von Bersani, Marcello M., Camilli, Matteo, Lestingi, Livia, Mirandola, Raffaela, Rossi, Matteo, Scandurra, Patrizia

“… The human-machine teaming paradigm is increasingly widespread in critical domains, such as healthcare and domestic assistance. The paradigm goes beyond …”
Volltext

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning von Bersani, Marcello M., Camilli, Matteo, Lestingi, Livia, Mirandola, Raffaela, Rossi, Matteo

“… The human-machine teaming paradigm promotes tight teamwork between humans and autonomous machines that collaborate in the same physical space. This paradigm is …”
Volltext

Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications von Askarpour, Mehrnoosh, Lestingi, Livia, Buran, Federico, Rossi, Matteo, Vicentini, Federico

“… In human-robot collaboration (HRC), humans and robots share the same workspace while executing hybrid tasks. Their close proximity imposes higher possibility …”
Volltext

Statistical Model Checking of Human-Robot Interaction Scenarios von Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M, Rossi, Matteo

“… Robots are soon going to be deployed in non-industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with …”
Volltext