Send email Copy Email Address
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
Placeholder

Philippe Heim

Saleh Soudijani

Most Recent Publications

Year 2024

2024-01

Solving Infinite-State Games via Acceleration

Conference / Medium

POPL
Proceedings of the ACM on Programming Languages51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2023

2023-10

Compositional High-Quality Synthesis

Conference / Medium

ATVA
Proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis21st International Symposium on Automated Technology for Verification and Analysis

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2023-04-22

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications

Conference / Medium

TACAS
TACAS – International Conference on Tools and Algorithms for the Construction and Analysis of Systems29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page

Year 2022

2022-04-07

Synthesis of Strategies for Autonomous Surveillance on Adversarial Targets

Article

Robotics and Autonomous Systems

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2022-03-03

Temporal Stream Logic modulo Theories

Conference / Medium

FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page