Ichiro Hasuo

Un metodo per analizzare e categorizzare sistemi complessi attraverso il partizionamento.

Uno sguardo alla verifica formale e alle architetture di sicurezza per la guida automatizzata.

Questo documento presenta un metodo formale per testare le perturbazioni del traffico nei veicoli autonomi.