Mouhammad Sakr | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Bernd Finkbeiner
77 publications
Guillermo A. Perez
32 publications
Martin Zimmermann
29 publications
Roderick Bloem
27 publications
Leander Tentrup
15 publications
Swen Jacobs
14 publications
Véronique Bruyère
13 publications
Marcus Völp
10 publications
Tom van Dijk
10 publications
Felix Klein
9 publications
Salomon Sickert
8 publications

research

∙ 06/01/2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

We report on the last four editions of the reactive synthesis competitio...

0 Swen Jacobs, et al. ∙

research

∙ 11/05/2021

Parameterized Repair of Concurrent Systems

We present an algorithm for the repair of parameterized systems. The rep...

0 Swen Jacobs, et al. ∙

research

∙ 11/08/2019

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

We investigate the satisfaction of specifications in Prompt Linear Tempo...

0 Swen Jacobs, et al. ∙

research

∙ 04/15/2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...

0 Swen Jacobs, et al. ∙