Sadegh Soudjani

Uma nova forma de avaliar a resiliência em sistemas que enfrentam perturbações.

Um método pra verificar a segurança em carros autônomos e drones usando redes neurais.

Ferramenta automatizada para verificar a correção de programas quânticos escritos em Silq.

Explorando o papel dos algoritmos genéticos na otimização do design de circuitos quânticos.

Projeto eficiente de controlador para sistemas incertos usando técnicas de abstração.

Uma olhada em como usar certificados de barreira para uma verificação de circuitos quânticos mais segura.

Silq simplifica a programação quântica com recursos fáceis de usar.

Descubra como a SymAware melhora a colaboração e a segurança em sistemas autônomos.

Um novo algoritmo minimiza o arrependimento enquanto segue regras complexas em aprendizado por reforço.

Descubra como os veículos autônomos estão mudando o transporte com tecnologia inteligente.