Task planning is a well-studied problem for which interesting applications exist in production logistics. Planning for such domains requires to take into account not only feasible plans, but also optimality targets, e.g., minimize time, costs or energy consumption. Although there exist several algorithms to compute optimal solutions with formal...
-
2018 (v1)PublicationUploaded on: April 14, 2023
-
2019 (v1)Publication
Despite the increasing popularity of Machine Learning methods, their usage in safety-critical applications is sometimes limited by the impossibility of providing formal guarantees on their behaviour. In this work we focus on one such application, where Kernel Ridge Regression with Random Fourier Features is used to learn controllers for a...
Uploaded on: April 14, 2023 -
2019 (v1)Publication
In the context of assistive robotics, myocontrol is one of the so-far unsolved problems of upper-limb prosthetics. It consists of swiftly, naturally, and reliably converting biosignals, non-invasively gathered from an upper-limb disabled subject, into control commands for an appropriate self-powered prosthetic device. Despite decades of...
Uploaded on: April 14, 2023 -
2019 (v1)Publication
In this paper we propose hybrid systems and reachability analysis to verify properties in swarm robotics systems, i.e., teams of robots performing cooperative tasks without any centralized coordination. We discuss the challenges that are to be faced and we report on the experience gained from applying hybrid formalisms to the verification of...
Uploaded on: April 14, 2023