Sadegh Soudjani

Erforschen, wie Barrierzertifikate Sicherheit in quantenmechanischen Systemen gewährleisten.

Lern, wie neuronale Netzwerke den Speicherverbrauch in sicherheitskritischen Systemcontrollern reduzieren können.

Ein neuer Ansatz zur Bewertung der Resilienz in Systemen, die Störungen ausgesetzt sind.

Eine Methode zur Überprüfung der Sicherheit bei selbstfahrenden Autos und Drohnen mit Hilfe von neuronalen Netzwerken.

Automatisches Tool zur Überprüfung der Richtigkeit von Quantenprogrammen, die in Silq geschrieben wurden.

Die Rolle von genetischen Algorithmen bei der Optimierung des Designs von Quanten-Schaltungen erkunden.

Effiziente Steuerungsdesign für unsichere Systeme mit Abstraktionstechniken.

Ein Blick auf die Verwendung von Barrier-Zertifikaten für eine sicherere Verifizierung von Quanten-Schaltkreisen.

Silq vereinfacht die Quantenprogrammierung mit benutzerfreundlichen Funktionen.

Entdecke, wie SymAware die Zusammenarbeit und Sicherheit in autonomen Systemen verbessert.

Ein neuer Algorithmus minimiert Bedauern, während er sich an komplexe Regeln im Reinforcement Learning hält.

Entdecke, wie autonome Fahrzeuge den Verkehr mit smarter Technologie verändern.