- Two-Way One-Counter Nets Revisited
Shaull Almagor, Michaël Cadilhac and Asaf Yeshurun, CSL 2025 (to appear). - Jumping Automata over Infinite Words (Journal Version)
Shaull Almagor and Omer Yizhaq, ToCS (2024) - Temporal Segmentation in Multi Agent Path Finding with Applications to Explainability
Shaull Almagor, Justin Kottinger and Morteza Lahijanian, Artif. Intell. 2024 - Jumping Automata Must Pay
Shaull Almagor and Ishai Salgado, GandALF 2024 - Introducing Delays in Multi Agent Path Finding
Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman and Morteza Lahijanian, SOCS 2024 - Dimension-Minimality and Primality of Counter Nets
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, and Asaf Yeshurun, FoSSaCS 2024 - Determinization of Integral Discounted-Sum Automata is Decidable
Shaull Almagor and Neta Dafni, FoSSaCS 2024 - Simulation by Rounds of Letter-to-Letter Transducers (Journal Version)
Antonio Abu Nassar and Shaull Almagor, LMCS 2023 - Synchronized CTL over One-Counter Automata
Shaull Almagor, Daniel Assa, and Udi Boker, FSTTCS 2023 - The Geometry of Reachability in Continuous Vector Addition Systems with States
Shaull Almagor, Arka Ghosh, Tim Leys, and Guillermo A. Perez, MFCS 2023
(check out the teaser song!) - Jumping Automata over Infinite Words
Shaull Almagor and Omer Yizhaq, DLT 2023 - Conflict-Based Search for Multi Robot Motion Planning with Kinodynamic Constraints
Justin Kottinger, Shaull Almagor, and Morteza Lahijanian, IROS 2022
(check out the teaser song!) - Determinization of One-Counter Nets
Shaull Almagor and Asaf Yeshurun, CONCUR 2022 - Concurrent Games with Multiple Topologies
Shaull Almagor and Shai Guendelman, CONCUR 2022 - Conflict-Based Search for Explainable Multi-Agent Path Finding
Justin Kottinger, Shaull Almagor, and Morteza Lahijanian, ICAPS 2022 - O-Minimal Invariants for Discrete-Time Dynamical Systems
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, and James Worrel, Trans. on Comp. Logic (TOCL), 2022. - Simulation by Rounds of Letter-to-Letter Transducers
Antonio Abu Nassar and Shaull Almagor, CSL 2022 - MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation
Justin Kottinger, Shaull Almagor, and Morteza Lahijanian, ICRA 2021 - Deciding ω-Regular Properties on Linear Recurrence Sequences
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, and James Worrell, POPL 2021 - Process Symmetry in Probabilistic Transducers.
Shaull Almagor, FSTTCS 2020.
(Check out the video, with the Things!) - Parametrized Universality Problems for One-Counter Nets.
Shaull Almagor, Udi Boker, Piotr Hofman, and Patrick Totzke, CONCUR 2020
(Check out the 1-min teaser (song!) and the video (with spooky floating hands)). - Coverability in 1-VASS with Disequality Tests
Shaull Almagor, Nathann Cohen, Mahsa Shirmohammadi, Guillermo A. Pérez, and James Worrell, CONCUR 2020 - What’s Decidable about Weighted Automata?
Shaull Almagor, Udi Boker, and Orna Kupferman, Inf & Comp Special Issue WATA 2020 - O-Minimal Invariants for Continuous Linear Dynamical Systems.
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, and James Worrell, ICALP 2020
(Check out the honorable-mention video presentation). - Good-Enough Synthesis.
Shaull Almagor and Orna Kupferman, CAV 2020
(Check out the 1-min teaser and the video presentation). - First-Order Orbit Queries.
Shaull Almagor, Joël Ouaknine, and James Worrell, Theory of Computing Systems (TOCS) 2020 - Explainable Multi Agent Path Finding.
Shaull Almagor and Morteza Lahijanian, AAMAS 2020 - Weak Cost Register Automata Are Still Powerful.
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, and Guillermo A. Pérez, IJFCS Special Issue DLT 2020 - The Semialgebraic Orbit Problem.
Shaull Almagor, Joël Ouaknine, and James Worrell, STACS 2019 - Sensing as a Complexity Measure.
Shaull Almagor, Denis Kuperberg, and Orna Kupferman, DCFS Special Issue 2019 - Effective Divergence Analysis for Linear Recurrence Sequences.
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, and James Worrell, CONCUR 2018 - Weak Cost Register Automata Are Still Powerful.
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, and Guillermo A. Pérez, DLT 2018 - O-Minimal Invariants for Linear Loops.
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, and James Worrell, ICALP 2018 - Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
Shaull Almagor, Orna Kupferman, and Giuseppe Perelli, IJCAI 2018 - Latticed-LTL synthesis in the presence of noisy inputs.
Shaull Almagor and Orna Kupferman, Discrete Event Dynamic Systems 2017 - Quantitative Assume Guarantee Synthesis.
Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, and Yaron Velner, CAV 2017 - Sensing as a Complexity Measure.
Shaull Almagor, Denis Kuperberg, and Orna Kupferman, DCFS 2017 - The Polytope-Collision Problem.
Shaull Almagor, Joël Ouaknine, and James Worrell, ICALP 2017 - Formally Reasoning About Quality.
Shaull Almagor, Udi Boker, and Orna Kupferman, J. ACM 2016 - Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.
Shaull Almagor, Orna Kupferman, and Yaron Velner, CONCUR 2016 - High-Quality Synthesis Against Stochastic Environments.
Shaull Almagor and Orna Kupferman, CSL 2016 - This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction.
Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, and Moshe Y. Vardi, AAAI 2015 - Repairing Multi-Player Games.
Shaull Almagor, Guy Avni, and Orna Kupferman, CONCUR 2015 - The Sensing Cost of Monitoring and Synthesis.
Shaull Almagor, Denis Kuperberg, and Orna Kupferman, FSTTCS 2015 - Latticed-LTL Synthesis in the Presence of Noisy Inputs.
Shaull Almagor and Orna Kupferman, FoSSaCS 2014 - Regular Sensing.
Shaull Almagor, Denis Kuperberg, and Orna Kupferman, FSTTCS 2014 - Discounting in LTL.
Shaull Almagor, Udi Boker, and Orna Kupferman, TACAS 2014 - Automatic Generation of Quality Specifications.
Shaull Almagor, Guy Avni, and Orna Kupferman, CAV 2013 - Formalizing and Reasoning about Quality.
Shaull Almagor, Udi Boker, and Orna Kupferman, ICALP 2013 - Tight bounds for strategyproof classification.
Reshef Meir, Shaull Almagor, Assaf Michaely, and Jeffrey S. Rosenschein, AAMAS 2011 - Max and Sum Semantics for Alternating Weighted Automata.
Shaull Almagor and Orna Kupferman, ATVA 2011 - What’s Decidable about Weighted Automata?
Shaull Almagor, Udi Boker, and Orna Kupferman, ATVA 2011 - Promptness in ω-Regular Automata.
Shaull Almagor, Yoram Hirshfeld, and Orna Kupferman, ATVA 2010
Shaull Almagor
Technion Computer Science Faculty