- [Rule-based Dynamic Safety Monitoring for Mobile Robots](https://aisberg.unibg.it/retrieve/handle/10446/87842/159814/104-595-1-PB.pdf) - safety spec