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)

Mitglieder

Placeholder

Philippe Heim

Saleh Soudijani

Benedikt Maderbacher

Neueste Veröffentlichungen

Jahr 2026

2026-04-10

Modular Attractor Acceleration in Infinite-State Games

Konferenz / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Detail-Seite besuchen
2026-02-19

Reward Interfaces with Best-Effort Implementations

Konferenz / Medium

Annual Conference on Computer Science Logic (CSL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2025

2025-08-16

Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions

Konferenz / Medium

International Joint Conference on Artificial Intelligence (IJCAI)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2025-07-23

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2025-04-11

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements

Konferenz / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Tags
Autor:innen
Zum Paper Detail-Seite besuchen