( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A symbolic algorithm for lazy synthesis of eager strategies.

, и . Acta Inf., 57 (1-2): 81-106 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mouhammad Alhumaidi

Hamed Sakr

Ibrahim Sakr

Yasser Sakr

Laila Sakr

 

Другие публикации лиц с тем же именем

Automatic Repair and Deadlock Detection for Parameterized Systems., , и . FMCAD, стр. 225-234. IEEE, (2022)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , и 4 other автор(ы). CoRR, (2019)Model and program repair via SAT solving., , , , и . MEMOCODE, стр. 148-157. IEEE, (2015)Parameterized Repair of Concurrent Systems., , и . CoRR, (2021)Model and Program Repair via SAT Solving., , и . ACM Trans. Embed. Comput. Syst., 17 (2): 32:1-32:25 (2018)A symbolic algorithm for lazy synthesis of eager strategies., и . Acta Inf., 57 (1-2): 81-106 (2020)The Reactive Synthesis Competition (SYNTCOMP): 2018-2021., , , , , , , , , и 15 other автор(ы). CoRR, (2022)Promptness and Bounded Fairness in Concurrent and Parameterized Systems., , и . CoRR, (2019)Promptness and Bounded Fairness in Concurrent and Parameterized Systems., , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 337-359. Springer, (2020)Parameterized verification and repair of concurrent systems.. Saarland University, Saarbrücken, Germany, (2021)