Programação de veículos autônomos com linguagem BZR (Parte 1)

O Heptagon é um software para a modelagem de sistemas de eventos discretos (SEDs) que utiliza a linguagem BZR para a verificação das propriedades dos SEDs e síntese de controladores para SEDs. Neste post apresentaremos em duas partes o desenvolvimento de um veículo autônomo utilizando o Heptagon/BZR, sintetizando automaticamente o controlador e integrando o código gerado ao Arduino.

Leia Mais "Programação de veículos autônomos com linguagem BZR (Parte 1)"