What is it about?
Service robots are increasingly widespread in healthcare and domestic assistance settings. However, robotic software engineering techniques still cannot handle the complexity of multi-agent systems and the unpredictability of human behavior. We propose a development framework based on mathematical models of human-robot interactive scenarios and formal verification to estimate the probability of success of the robotic mission. Target scenarios feature multi-robot fleets and a broad range of human-robot interaction contingencies.
Featured Image
Photo by Alex Knight on Unsplash
Why is it important?
The framework innovatively exploits stochastic approximations of human behavior to account for the possibility of humans making haphazard choices or straying from the plan during mission execution. The model also includes aspects of human physiology, particularly fatigue from physical strain, which is a critical factor in healthcare or personal aid settings.
Perspectives
This work shows how conceiving novel modeling techniques opens the way to innovative and human-oriented software engineering applications. I believe that the right blend of behavior modeling and robotics can pave the way to more reliable and supportive exchanges between humans and robots.
Livia Lestingi
Politecnico di Milano
Read the Original
This page is a summary of: Formal modeling and verification of multi-robot interactive scenarios in service settings, May 2022, ACM (Association for Computing Machinery),
DOI: 10.1145/3524482.3527653.
You can read the full text:
Resources
Contributors
The following have contributed to this page
