K. Pedemonte

According to our database, K. Pedemonte authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Model-based Verification and Monitoring for Safe and Responsive Robots.

Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, A. Ferrando, Lorenzo Natale, Armando Tacchella

Proceedings of the IEEE International Conference on Simulation, 2025

Code Generation and Monitoring for Deliberation Components in Autonomous Robots.

Stefano Bernagozzi, S. Faraci, Enrico Ghiorzi, K. Pedemonte, Lorenzo Natale, Armando Tacchella

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025