Author of the publication

On Synthesis of Specifications with Arithmetic.

, and . SOFSEM, volume 12011 of Lecture Notes in Computer Science, page 161-173. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Parametrized Analysis of Algorithms on Hierarchical Graphs., and . DCFS, volume 10316 of Lecture Notes in Computer Science, page 114-127. Springer, (2017)On Synthesis of Specifications with Arithmetic., and . SOFSEM, volume 12011 of Lecture Notes in Computer Science, page 161-173. Springer, (2020)LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems., and . LPAR, volume 57 of EPiC Series in Computing, page 343-362. EasyChair, (2018)On (I/O)-Aware Good-For-Games Automata., and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 161-178. Springer, (2020)Spanning the Spectrum from Safety to Liveness., and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 183-200. Springer, (2015)Verification and Synthesis of Systems with a Rich Structure (כותר נוסף בעברית: אימות וסינתזה של מערכות בעלות מבנה עשיר).. Hebrew University of Jerusalem, Israel, (2020)