From post

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.

 

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

BDD-Based Boolean Functional Synthesis., , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 402-421. Springer, (2016)LTLf Synthesis under Partial Observability: From Theory to Practice., и . GandALF, том 326 из EPTCS, стр. 1-17. (2020)Linear Temporal Logic - From Infinite to Finite Horizon., и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 3-12. Springer, (2021)Factored boolean functional synthesis., и . FMCAD, стр. 124-131. IEEE, (2017)Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems., , , и . HCOMP, стр. 174-181. AAAI, (2013)Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis., , , , и . IJCAI, стр. 1852-1858. ijcai.org, (2021)A Symbolic Approach to Safety ltl Synthesis., , , , и . Haifa Verification Conference, том 10629 из Lecture Notes in Computer Science, стр. 147-162. Springer, (2017)Functional synthesis via input-output separation., , , и . Formal Methods Syst. Des., 60 (2): 228-258 (апреля 2022)On the Power of Automata Minimization in Temporal Synthesis., , , и . GandALF, том 346 из EPTCS, стр. 117-134. (2021)Symbolic LTLf Synthesis., , , , и . IJCAI, стр. 1362-1369. ijcai.org, (2017)