Shaull Almagor

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 65

Top Topics

Nash Equilibria

Dynamical Systems

Top Venues

Publications

Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
Dimension-Minimality and Primality of Counter Nets. FoSSaCS (2) (2024)
Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman, Morteza Lahijanian
Introducing Delays in Multi Agent Path Finding. SOCS (2024)
Shaull Almagor, Neta Dafni
Determinization of Integral Discounted-Sum Automata is Decidable. FoSSaCS (1) (2024)
Shaull Almagor, Justin Kottinger, Morteza Lahijanian
Temporal segmentation in multi agent path finding with applications to explainability. Artif. Intell. 330 (2024)
Shaull Almagor, Ishai Salgado
Jumping Automata Must Pay. CoRR (2024)
Shaull Almagor, Omer Yizhaq
Jumping Automata over Infinite Words. DLT (2023)
Antonio Abu Nassar, Shaull Almagor
Simulation by Rounds of Letter-to-Letter Transducers. Log. Methods Comput. Sci. 19 (4) (2023)
Shaull Almagor, Neta Dafni
Determinization of Integral Discounted-Sum Automata is Decidable. CoRR (2023)
Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
Dimension-Minimality and Primality of Counter Nets. CoRR (2023)
Shaull Almagor, Daniel Assa, Udi Boker
Synchronized CTL over One-Counter Automata. CoRR (2023)
Shaull Almagor, Omer Yizhaq
Jumping Automata over Infinite Words. CoRR (2023)
Shaull Almagor, Daniel Assa, Udi Boker
Synchronized CTL over One-Counter Automata. FSTTCS (2023)
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
The Geometry of Reachability in Continuous Vector Addition Systems with States. MFCS (2023)
Justin Kottinger, Shaull Almagor, Oren Salzman, Morteza Lahijanian
Introducing Delays in Multi-Agent Path Finding. CoRR (2023)
Justin Kottinger, Shaull Almagor, Morteza Lahijanian
Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. IROS (2022)
Shaull Almagor, Shai Guendelman
Concurrent Games with Multiple Topologies. CoRR (2022)
Justin Kottinger, Shaull Almagor, Morteza Lahijanian
Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. CoRR (2022)
Shaull Almagor, Shai Guendelman
Concurrent Games with Multiple Topologies. CONCUR (2022)
Shaull Almagor, Udi Boker, Orna Kupferman
What's decidable about weighted automata? Inf. Comput. 282 (2022)
Justin Kottinger, Shaull Almagor, Morteza Lahijanian
Conflict-Based Search for Explainable Multi-Agent Path Finding. CoRR (2022)
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
The Geometry of Reachability in Continuous Vector Addition Systems with States. CoRR (2022)
Justin Kottinger, Shaull Almagor, Morteza Lahijanian
Conflict-Based Search for Explainable Multi-Agent Path Finding. ICAPS (2022)
Shaull Almagor, Asaf Yeshurun
Determinization of One-Counter Nets. CONCUR (2022)
Antonio Abu Nassar, Shaull Almagor
Simulation by Rounds of Letter-To-Letter Transducers. CSL (2022)
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Trans. Comput. Log. 23 (2) (2022)
Shaull Almagor, Joël Ouaknine, James Worrell
First-Order Orbit Queries. Theory Comput. Syst. 65 (4) (2021)
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. 5 (POPL) (2021)
Justin Kottinger, Shaull Almagor, Morteza Lahijanian
MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. ICRA (2021)
Shaull Almagor, Asaf Yeshurun
Determinization of One-Counter Nets. CoRR (2021)
Antonio Abu Nassar, Shaull Almagor
Simulation by Rounds of Letter-to-Letter Transducers. CoRR (2021)
Shaull Almagor, Orna Kupferman
Good-Enough Synthesis. CoRR (2021)
Justin Kottinger, Shaull Almagor, Morteza Lahijanian
MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. CoRR (2020)
Shaull Almagor, Morteza Lahijanian
Explainable Multi Agent Path Finding. AAMAS (2020)
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
Invariants for Continuous Linear Dynamical Systems. ICALP (2020)
Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
Parametrized Universality Problems for One-Counter Nets. CoRR (2020)
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
Weak Cost Register Automata are Still Powerful. Int. J. Found. Comput. Sci. 31 (6) (2020)
Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
Invariants for Continuous Linear Dynamical Systems. CoRR (2020)
Shaull Almagor, Orna Kupferman
Good-Enough Synthesis. CAV (2) (2020)
Shaull Almagor
Process Symmetry in Probabilistic Transducers. CoRR (2020)
Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
Deciding ω-Regular Properties on Linear Recurrence Sequences. CoRR (2020)
Shaull Almagor
Process Symmetry in Probabilistic Transducers. FSTTCS (2020)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CONCUR (2020)
Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
Parametrized Universality Problems for One-Counter Nets. CONCUR (2020)
Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
Coverability in 1-VASS with Disequality Tests. CoRR (2019)
Shaull Almagor, Joël Ouaknine, James Worrell
The Semialgebraic Orbit Problem. STACS (2019)
Shaull Almagor, Denis Kuperberg, Orna Kupferman
Sensing as a Complexity Measure. Int. J. Found. Comput. Sci. 30 (6-7) (2019)
Shaull Almagor, Joël Ouaknine, James Worrell
The Semialgebraic Orbit Problem. CoRR (2019)
Shaull Almagor, Rajeev Alur, Suguman Bansal
Equilibria in Quantitative Concurrent Games. CoRR (2018)
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
Weak Cost Register Automata are Still Powerful. CoRR (2018)
Shaull Almagor, Orna Kupferman, Giuseppe Perelli
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. IJCAI (2018)
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
O-Minimal Invariants for Linear Loops. ICALP (2018)
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
Effective Divergence Analysis for Linear Recurrence Sequences. CONCUR (2018)
Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
Effective Divergence Analysis for Linear Recurrence Sequences. CoRR (2018)
Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
Weak Cost Register Automata Are Still Powerful. DLT (2018)
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
O-Minimal Invariants for Linear Loops. CoRR (2018)
Shaull Almagor, Orna Kupferman
Latticed-LTL synthesis in the presence of noisy inputs. Discret. Event Dyn. Syst. 27 (3) (2017)
Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner
Quantitative Assume Guarantee Synthesis. CAV (2) (2017)
Shaull Almagor, Denis Kuperberg, Orna Kupferman
Sensing as a Complexity Measure. DCFS (2017)
Shaull Almagor, Joël Ouaknine, James Worrell
The Polytope-Collision Problem. ICALP (2017)
Shaull Almagor, Orna Kupferman
High-Quality Synthesis Against Stochastic Environments. CSL (2016)
Shaull Almagor, Udi Boker, Orna Kupferman
Formally Reasoning About Quality. J. ACM 63 (3) (2016)
Shaull Almagor, Orna Kupferman
High-Quality Synthesis Against Stochastic Environments. CoRR (2016)
Shaull Almagor, Orna Kupferman, Yaron Velner
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. CoRR (2016)
Shaull Almagor, Orna Kupferman, Yaron Velner
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. CONCUR (2016)
Shaull Almagor, Joël Ouaknine, James Worrell
The Polytope-Collision Problem. CoRR (2016)
Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI (2015)
Shaull Almagor, Denis Kuperberg, Orna Kupferman
The Sensing Cost of Monitoring and Synthesis. FSTTCS (2015)
Shaull Almagor, Guy Avni, Orna Kupferman
Repairing Multi-Player Games. CONCUR (2015)
Shaull Almagor, Udi Boker, Orna Kupferman
Discounting in LTL. CoRR (2014)
Shaull Almagor, Udi Boker, Orna Kupferman
Discounting in LTL. TACAS (2014)
Shaull Almagor, Orna Kupferman
Latticed-LTL Synthesis in the Presence of Noisy Inputs. FoSSaCS (2014)
Shaull Almagor, Denis Kuperberg, Orna Kupferman
Regular Sensing. FSTTCS (2014)
Shaull Almagor, Udi Boker, Orna Kupferman
Formalizing and Reasoning about Quality. ICALP (2) (2013)
Shaull Almagor, Guy Avni, Orna Kupferman
Automatic Generation of Quality Specifications. CAV (2013)
Shaull Almagor, Orna Kupferman
Max and Sum Semantics for Alternating Weighted Automata. ATVA (2011)
Shaull Almagor, Udi Boker, Orna Kupferman
What's Decidable about Weighted Automata? ATVA (2011)
Reshef Meir, Shaull Almagor, Assaf Michaely, Jeffrey S. Rosenschein
Tight bounds for strategyproof classification. AAMAS (2011)
Shaull Almagor, Yoram Hirshfeld, Orna Kupferman
-Regular Automata. ATVA (2010)