Ichiro Hasuo

Um método pra analisar e categorizar sistemas complexos através da divisão.

Um olhar sobre verificação formal e arquiteturas de segurança para condução automatizada.

Este artigo apresenta um método formal para testar distúrbios de tráfego em veículos autônomos.