Pitch Colloquia 2022 | Livia Lestingi

Software Engineering fot Interactive Service Robotics
Livia Lestingi
Soon, service robots will operate in unconstrained environments due to the significant presence of humans. This Ph.D. research introduces a model-driven framework based on formal methods to develop interactive robotic applications designed to handle the uncertainty of human behavior. Users formally model the human-robot interaction scenario, estimate the most likely outcome, and deploy the application. Collected traces constitute the data pool for a novel active automata learning algorithm to update the formal model of human behavior based on the accumulated knowledge. We validate the framework on realistic use cases from the healthcare setting.