Sadegh Soudjani

A new approach to assess resilience in systems facing disturbances.

A method for verifying safety in self-driving cars and drones using neural networks.

Automated tool for verifying the correctness of quantum programs written in Silq.

Exploring the role of genetic algorithms in optimizing quantum circuit design.

Efficient controller design for uncertain systems using abstraction techniques.

A look at using barrier certificates for safer quantum circuit verification.

Silq simplifies quantum programming with user-friendly features.

Discover how SymAware improves collaboration and safety in autonomous systems.

A new algorithm minimizes regret while adhering to complex rules in reinforcement learning.

Discover how autonomous vehicles are changing transportation with smart technology.