Shaull Almagor

According to our database, Shaull Almagor authored at least 49 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Jumping Automata Must Pay.

Shaull Almagor, Ishai Salgado

CoRR, 2024

Temporal segmentation in multi agent path finding with applications to explainability.

Shaull Almagor, Justin Kottinger, Morteza Lahijanian

Artif. Intell., 2024

Introducing Delays in Multi Agent Path Finding.

Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman, Morteza Lahijanian

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

Determinization of Integral Discounted-Sum Automata is Decidable.

Shaull Almagor, Neta Dafni

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Dimension-Minimality and Primality of Counter Nets.

Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Simulation by Rounds of Letter-to-Letter Transducers.

Antonio Abu Nassar, Shaull Almagor

Log. Methods Comput. Sci., 2023

Introducing Delays in Multi-Agent Path Finding.

Justin Kottinger, Shaull Almagor, Oren Salzman, Morteza Lahijanian

CoRR, 2023

The Geometry of Reachability in Continuous Vector Addition Systems with States.

Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Synchronized CTL over One-Counter Automata.

Shaull Almagor, Daniel Assa, Udi Boker

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

Jumping Automata over Infinite Words.

Shaull Almagor, Omer Yizhaq

Proceedings of the Developments in Language Theory - 27th International Conference, 2023

2022

O-Minimal Invariants for Discrete-Time Dynamical Systems.

Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell

ACM Trans. Comput. Log., 2022

What's decidable about weighted automata?

Shaull Almagor, Udi Boker, Orna Kupferman

Inf. Comput., 2022

Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints.

Justin Kottinger, Shaull Almagor, Morteza Lahijanian

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Determinization of One-Counter Nets.

Shaull Almagor, Asaf Yeshurun

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Concurrent Games with Multiple Topologies.

Shaull Almagor, Shai Guendelman

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Conflict-Based Search for Explainable Multi-Agent Path Finding.

Justin Kottinger, Shaull Almagor, Morteza Lahijanian

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Deciding ω-regular properties on linear recurrence sequences.

Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell

Proc. ACM Program. Lang., 2021

First-Order Orbit Queries.

Shaull Almagor, Joël Ouaknine, James Worrell

Theory Comput. Syst., 2021

MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation.

Justin Kottinger, Shaull Almagor, Morteza Lahijanian

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Weak Cost Register Automata are Still Powerful.

Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez

Int. J. Found. Comput. Sci., 2020

Invariants for Continuous Linear Dynamical Systems.

Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Process Symmetry in Probabilistic Transducers.

Shaull Almagor

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Coverability in 1-VASS with Disequality Tests.

Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Parametrized Universality Problems for One-Counter Nets.

Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Good-Enough Synthesis.

Shaull Almagor, Orna Kupferman

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Explainable Multi Agent Path Finding.

Shaull Almagor, Morteza Lahijanian

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Sensing as a Complexity Measure.

Shaull Almagor, Denis Kuperberg, Orna Kupferman

Int. J. Found. Comput. Sci., 2019

The Semialgebraic Orbit Problem.

Shaull Almagor, Joël Ouaknine, James Worrell

Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019

2018

Equilibria in Quantitative Concurrent Games.

Shaull Almagor, Rajeev Alur, Suguman Bansal

CoRR, 2018

Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.

Shaull Almagor, Orna Kupferman, Giuseppe Perelli

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

O-Minimal Invariants for Linear Loops.

Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Effective Divergence Analysis for Linear Recurrence Sequences.

Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Latticed-LTL synthesis in the presence of noisy inputs.

Shaull Almagor, Orna Kupferman

Discret. Event Dyn. Syst., 2017

The Polytope-Collision Problem.

Shaull Almagor, Joël Ouaknine, James Worrell

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Quantitative Assume Guarantee Synthesis.

Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Formalizing and Reasoning about Quality (שער נוסף בעברית: על הצרנה, הסקה, ואיכות.).

Shaull Almagor

PhD thesis, 2016

Formally Reasoning About Quality.

Shaull Almagor, Udi Boker, Orna Kupferman

J. ACM, 2016

High-Quality Synthesis Against Stochastic Environments.

Shaull Almagor, Orna Kupferman

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.

Shaull Almagor, Orna Kupferman, Yaron Velner

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

The Sensing Cost of Monitoring and Synthesis.

Shaull Almagor, Denis Kuperberg, Orna Kupferman

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Repairing Multi-Player Games.

Shaull Almagor, Guy Avni, Orna Kupferman

Proceedings of the 26th International Conference on Concurrency Theory, 2015

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, Moshe Y. Vardi

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Discounting in LTL.

Shaull Almagor, Udi Boker, Orna Kupferman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Regular Sensing.

Shaull Almagor, Denis Kuperberg, Orna Kupferman

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

Formalizing and Reasoning about Quality.

Shaull Almagor, Udi Boker, Orna Kupferman

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Automatic Generation of Quality Specifications.

Shaull Almagor, Guy Avni, Orna Kupferman

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

Max and Sum Semantics for Alternating Weighted Automata.

Shaull Almagor, Orna Kupferman

Proceedings of the Automated Technology for Verification and Analysis, 2011

Tight bounds for strategyproof classification.

Reshef Meir, Shaull Almagor, Assaf Michaely, Jeffrey S. Rosenschein

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

Promptness in <i>omega</i>-Regular Automata.

Shaull Almagor, Yoram Hirshfeld, Orna Kupferman

Proceedings of the Automated Technology for Verification and Analysis, 2010