Giovanni Beltrame

Automated extraction and checking of property models from source code for robot swarms

2022

As robots become a common presence in our everyday lives, ensuring the security and safety of robotic systems becomes an increasingly important and urgent challenge. Multi-robot systems, in particular, have the potential to revolutionize multiple …