Research Group

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.

Head of Group

Rayna Dimitrova

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Members

Rafael Dewes

Philippe Heim

Saleh Soudijani

Most Recent Publications

Year 2025

2025-08-16

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

Conference / Medium

International Joint Conference on Artificial Intelligence (IJCAI)

Tags

Reliable Security Guarantees

Authors

Visit Detail Page

2025-07-23

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

Conference / Medium

Computer Aided Verification (CAV)

Tags

Reliable Security Guarantees

Authors

Visit Detail Page

2025-04-11

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

Conference / Medium

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

Tags

Authors

Full Paper Visit Detail Page

2025-02-25

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

Conference / Medium

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

Tags

Reliable Security Guarantees

Authors

Full Paper Visit Detail Page

2025-01-22

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags

Reliable Security Guarantees

Authors

Full Paper Visit Detail Page