Published April 2, 2025
| Version v1
Conference paper
Open
Model-based Verification and Monitoring for Safe and Responsive Robots
Creators
- 1. IIT
- 2. Università di Genova
-
3.
University of Modena and Reggio Emilia
- 4. Istituto Italiano di Tecnologia
-
5.
University of Genoa
Files
2025___SIMPAR (1).pdf
Files
(342.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:bb922f950fd91010d79851b89e59b891
|
342.5 kB | Preview Download |