Formal Verification, Automata, Linear Dynamical Systems, Logic, Quantitative Reasoning
I am currently a senior research associate under the supervision of Prof. Joël Ouaknine.
I obtained my PhD in Computer Science (2016) from the Hebrew University of Jerusalem, under the supervision of Prof. Orna Kupferman.
Prior to that, I obtained my M.Sc in Computer Science (2011, summa cum laude) and a B.Sc in Mathematics and Computer Science (2009, magna cum laude), both from the Hebrew University of Jerusalem.
Synthesis of Controllable Nash Equilibria in Quantitative Objective Games
Shaull Almagor‚ Orna Kupferman and Giuseppe Perelli
In 27th International Joint Conference on Artificial Intelligence IJCAI 2018. 2018.
Weak Cost Register Automata are Still Powerful
Shaull Almagor‚ Michaël Cadilhac‚ Filip Mazowiecki and Guillermo A. Pérez
In 22nd International Conference on Developments in Language Theory DLT 2018. 2018.
Effective Divergence Analysis for Linear Recurrence Sequences
Shaull Almagor‚ Brynmor Chapman‚ Mehran Hosseini‚ Joël Ouaknine and James Worrell
In 29th International Conference on Concurrency Theory CONCUR‚ 2018. 2018.