Shaull Almagor
Dr Shaull Almagor
Interests
Formal Verification, Automata, Linear Dynamical Systems, Logic, Quantitative Reasoning
Biography
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.
Selected Publications
-
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.
Details about Synthesis of Controllable Nash Equilibria in Quantitative Objective Games | BibTeX data for Synthesis of Controllable Nash Equilibria in Quantitative Objective Games
-
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.
Details about Weak Cost Register Automata are Still Powerful | BibTeX data for Weak Cost Register Automata are Still Powerful
-
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.
Details about Effective Divergence Analysis for Linear Recurrence Sequences | BibTeX data for Effective Divergence Analysis for Linear Recurrence Sequences