Sadegh Soudjani

Un nuevo enfoque para evaluar la resiliencia en sistemas que enfrentan disturbios.

Un método para verificar la seguridad en coches autónomos y drones usando redes neuronales.

Herramienta automática para verificar la corrección de programas cuánticos escritos en Silq.

Explorando el papel de los algoritmos genéticos en la optimización del diseño de circuitos cuánticos.

Diseño de controladores eficiente para sistemas inciertos usando técnicas de abstracción.

Una mirada a usar certificados de barrera para una verificación de circuitos cuánticos más segura.

Silq simplifica la programación cuántica con características fáciles de usar.

Descubre cómo SymAware mejora la colaboración y la seguridad en sistemas autónomos.

Un nuevo algoritmo minimiza el arrepentimiento mientras sigue reglas complejas en el aprendizaje por refuerzo.

Descubre cómo los vehículos autónomos están cambiando el transporte con tecnología inteligente.