Ricerca

Pubblicazioni IRIS

• Model-based Verification and Monitoring for Safe and Responsive Robots
  Anno: 2025
• Modeling Robot Control Architectures forVerification andMonitoring
  Anno: 2024
• Towards a Verifiable Toolchain for Robotics
  Anno: 2024
• Learning Linear Temporal Properties for Autonomous Robotic Systems
  Anno: 2023