( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

, , , , , , , , , , , , , , , и . SYNT@CAV, том 229 из EPTCS, стр. 149-177. (2016)

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.

Felix Klein

Felix Klein

Felix Klein

Felix Klein-Franke

Felix Alexander Klein

 

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

Temporal Stream Logic: Synthesis beyond the Bools., , , и . CoRR, (2017)Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications., , , и . CoRR, (2021)Reactive Synthesis: Towards Output-Sensitive Algorithms., и . CoRR, (2018)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , и 4 other автор(ы). CoRR, (2019)Bounded Synthesis of Reactive Programs., , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 441-457. Springer, (2018)Ueber Liniengeometrie und metrische Geometrie. Mathematische Annalen, 5 (2): 257--277 (1872)Live Synthesis., , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 153-169. Springer, (2021)Synthesizing stream control.. Saarland University, Saarbrücken, Germany, (2020)Live synthesis., , и . Innov. Syst. Softw. Eng., 18 (3): 443-454 (2022)The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results., , , , , , , , , и 4 other автор(ы). SYNT@CAV, том 260 из EPTCS, стр. 116-143. (2017)