E-mail senden E-Mail Adresse kopieren
Forschungsgruppe

Dimitrova

Our research focuses on the verification and synthesis of reactive systems, applications of formal methods to control and robotics, quantitative verification of probabilistic systems, and information-flow security. We address the analysis of complex system models against correctness requirements formalized in expressive formal specification languages.

Gruppenleiter:in

Rayna Dimitrova

E-Mail

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)