Shaull Almagor

93 papers A* 9A 6B 16C 2Journal 47Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Complexity Bound for Determinisation of Min-Plus Weighted Automata. CoRR Shaull Almagor, Guy Arbel, Sarai Sheinvald
2026	A*	`conf`	Determinization of Min-Plus Weighted Automata is Decidable. SODA Shaull Almagor, Guy Arbel, Sarai Sheinvald
2025	—	`conf`	Box-Reachability in Vector Addition Systems. RP Shaull Almagor, Itay Hasson, Michal Pilipczuk, Michael Zaslavski
2025	J	`jnl`	Box-Reachability in Vector Addition Systems. CoRR Shaull Almagor, Itay Hasson, Michal Pilipczuk, Michael Zaslavski
2025	J	`jnl`	Determinization of Min-Plus Weighted Automata is Decidable. CoRR Shaull Almagor, Guy Arbel, Sarai Sheinvald
2025	J	`jnl`	Quantitative Semantics for Jumping Automata. Log. Methods Comput. Sci. Shaull Almagor, Neta Dafni, Ishai Salgado
2025	A	`conf`	Robin Hood Reachability Bidding Games. AAMAS Shaull Almagor, Guy Avni, Neta Dafni
2025	J	`jnl`	Stress-Testing Causal Claims via Cardinality Repairs. CoRR Yarden Gabbay, Haoquan Guan, Shaull Almagor, El Kindi Rezig, Brit Youngmann, Babak Salimi
2025	J	`jnl`	The geometry of reachability in continuous vector addition systems with states. Inf. Comput. Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2025	B	`conf`	Two-Way One-Counter Nets Revisited. CSL Shaull Almagor, Michaël Cadilhac, Asaf Yeshurun
2025	J	`jnl`	Unambiguisability and Register Minimisation of Min-Plus Models. CoRR Shaull Almagor, Guy Arbel, Sarai Sheinvald
2024	—	`conf`	Determinization of Integral Discounted-Sum Automata is Decidable. FoSSaCS (1) Shaull Almagor, Neta Dafni
2024	—	`conf`	Dimension-Minimality and Primality of Counter Nets. FoSSaCS (2) Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
2024	B	`conf`	Introducing Delays in Multi Agent Path Finding. SOCS Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman, Morteza Lahijanian
2024	—	`conf`	Jumping Automata Must Pay. GandALF Shaull Almagor, Ishai Salgado
2024	J	`jnl`	Jumping Automata over Infinite Words. Theory Comput. Syst. Shaull Almagor, Omer Yizhaq
2024	J	`jnl`	Robin Hood Reachability Bidding Games. CoRR Shaull Almagor, Guy Avni, Neta Dafni
2024	J	`jnl`	Temporal segmentation in multi agent path finding with applications to explainability. Artif. Intell. Shaull Almagor, Justin Kottinger, Morteza Lahijanian
2024	J	`jnl`	Two-Way One-Counter Nets Revisited. CoRR Shaull Almagor, Michaël Cadilhac, Asaf Yeshurun
2023	J	`jnl`	Determinization of Integral Discounted-Sum Automata is Decidable. CoRR Shaull Almagor, Neta Dafni
2023	J	`jnl`	Dimension-Minimality and Primality of Counter Nets. CoRR Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun
2023	J	`jnl`	Introducing Delays in Multi-Agent Path Finding. CoRR Justin Kottinger, Shaull Almagor, Oren Salzman, Morteza Lahijanian
2023	C	`conf`	Jumping Automata over Infinite Words. DLT Shaull Almagor, Omer Yizhaq
2023	J	`jnl`	Jumping Automata over Infinite Words. CoRR Shaull Almagor, Omer Yizhaq
2023	J	`jnl`	Simulation by Rounds of Letter-to-Letter Transducers. Log. Methods Comput. Sci. Antonio Abu Nassar, Shaull Almagor
2023	—	`conf`	Synchronized CTL over One-Counter Automata. FSTTCS Shaull Almagor, Daniel Assa, Udi Boker
2023	J	`jnl`	Synchronized CTL over One-Counter Automata. CoRR Shaull Almagor, Daniel Assa, Udi Boker
2023	B	`conf`	The Geometry of Reachability in Continuous Vector Addition Systems with States. MFCS Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2022	B	`conf`	Concurrent Games with Multiple Topologies. CONCUR Shaull Almagor, Shai Guendelman
2022	J	`jnl`	Concurrent Games with Multiple Topologies. CoRR Shaull Almagor, Shai Guendelman
2022	A*	`conf`	Conflict-Based Search for Explainable Multi-Agent Path Finding. ICAPS Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	J	`jnl`	Conflict-Based Search for Explainable Multi-Agent Path Finding. CoRR Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	A	`conf`	Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. IROS Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	J	`jnl`	Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. CoRR Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2022	B	`conf`	Determinization of One-Counter Nets. CONCUR Shaull Almagor, Asaf Yeshurun
2022	J	`jnl`	O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Trans. Comput. Log. Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2022	B	`conf`	Simulation by Rounds of Letter-To-Letter Transducers. CSL Antonio Abu Nassar, Shaull Almagor
2022	J	`jnl`	The Geometry of Reachability in Continuous Vector Addition Systems with States. CoRR Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Pérez
2022	J	`jnl`	What's decidable about weighted automata? Inf. Comput. Shaull Almagor, Udi Boker, Orna Kupferman
2021	J	`jnl`	Deciding ω-regular properties on linear recurrence sequences. Proc. ACM Program. Lang. Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2021	J	`jnl`	Determinization of One-Counter Nets. CoRR Shaull Almagor, Asaf Yeshurun
2021	J	`jnl`	First-Order Orbit Queries. Theory Comput. Syst. Shaull Almagor, Joël Ouaknine, James Worrell
2021	J	`jnl`	Good-Enough Synthesis. CoRR Shaull Almagor, Orna Kupferman
2021	A*	`conf`	MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. ICRA Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2021	J	`jnl`	Simulation by Rounds of Letter-to-Letter Transducers. CoRR Antonio Abu Nassar, Shaull Almagor
2020	B	`conf`	Coverability in 1-VASS with Disequality Tests. CONCUR Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2020	J	`jnl`	Deciding ω-Regular Properties on Linear Recurrence Sequences. CoRR Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell
2020	A	`conf`	Explainable Multi Agent Path Finding. AAMAS Shaull Almagor, Morteza Lahijanian
2020	—	`conf`	Good-Enough Synthesis. CAV (2) Shaull Almagor, Orna Kupferman
2020	A*	`conf`	Invariants for Continuous Linear Dynamical Systems. ICALP Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2020	J	`jnl`	Invariants for Continuous Linear Dynamical Systems. CoRR Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell
2020	J	`jnl`	MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. CoRR Justin Kottinger, Shaull Almagor, Morteza Lahijanian
2020	B	`conf`	Parametrized Universality Problems for One-Counter Nets. CONCUR Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
2020	J	`jnl`	Parametrized Universality Problems for One-Counter Nets. CoRR Shaull Almagor, Udi Boker, Piotr Hofman, Patrick Totzke
2020	—	`conf`	Process Symmetry in Probabilistic Transducers. FSTTCS Shaull Almagor
2020	J	`jnl`	Process Symmetry in Probabilistic Transducers. CoRR Shaull Almagor
2020	J	`jnl`	Weak Cost Register Automata are Still Powerful. Int. J. Found. Comput. Sci. Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2019	J	`jnl`	Coverability in 1-VASS with Disequality Tests. CoRR Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell
2019	J	`jnl`	Sensing as a Complexity Measure. Int. J. Found. Comput. Sci. Shaull Almagor, Denis Kuperberg, Orna Kupferman
2019	A	`conf`	The Semialgebraic Orbit Problem. STACS Shaull Almagor, Joël Ouaknine, James Worrell
2019	J	`jnl`	The Semialgebraic Orbit Problem. CoRR Shaull Almagor, Joël Ouaknine, James Worrell
2018	B	`conf`	Effective Divergence Analysis for Linear Recurrence Sequences. CONCUR Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2018	J	`jnl`	Effective Divergence Analysis for Linear Recurrence Sequences. CoRR Shaull Almagor, Brynmor Chapman, Mehran Hosseini, Joël Ouaknine, James Worrell
2018	J	`jnl`	Equilibria in Quantitative Concurrent Games. CoRR Shaull Almagor, Rajeev Alur, Suguman Bansal
2018	A*	`conf`	O-Minimal Invariants for Linear Loops. ICALP Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2018	J	`jnl`	O-Minimal Invariants for Linear Loops. CoRR Shaull Almagor, Dmitry Chistikov, Joël Ouaknine, James Worrell
2018	A*	`conf`	Synthesis of Controllable Nash Equilibria in Quantitative Objective Game. IJCAI Shaull Almagor, Orna Kupferman, Giuseppe Perelli
2018	C	`conf`	Weak Cost Register Automata Are Still Powerful. DLT Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2018	J	`jnl`	Weak Cost Register Automata are Still Powerful. CoRR Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez
2017	J	`jnl`	Latticed-LTL synthesis in the presence of noisy inputs. Discret. Event Dyn. Syst. Shaull Almagor, Orna Kupferman
2017	—	`conf`	Quantitative Assume Guarantee Synthesis. CAV (2) Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner
2017	—	`conf`	Sensing as a Complexity Measure. DCFS Shaull Almagor, Denis Kuperberg, Orna Kupferman
2017	A*	`conf`	The Polytope-Collision Problem. ICALP Shaull Almagor, Joël Ouaknine, James Worrell
2016	—	`—`	Formalizing and Reasoning about Quality (שער נוסף בעברית: על הצרנה, הסקה, ואיכות.). Shaull Almagor
2016	J	`jnl`	Formally Reasoning About Quality. J. ACM Shaull Almagor, Udi Boker, Orna Kupferman
2016	B	`conf`	High-Quality Synthesis Against Stochastic Environments. CSL Shaull Almagor, Orna Kupferman
2016	J	`jnl`	High-Quality Synthesis Against Stochastic Environments. CoRR Shaull Almagor, Orna Kupferman
2016	B	`conf`	Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. CONCUR Shaull Almagor, Orna Kupferman, Yaron Velner
2016	J	`jnl`	Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. CoRR Shaull Almagor, Orna Kupferman, Yaron Velner
2016	J	`jnl`	The Polytope-Collision Problem. CoRR Shaull Almagor, Joël Ouaknine, James Worrell
2015	B	`conf`	Repairing Multi-Player Games. CONCUR Shaull Almagor, Guy Avni, Orna Kupferman
2015	—	`conf`	The Sensing Cost of Monitoring and Synthesis. FSTTCS Shaull Almagor, Denis Kuperberg, Orna Kupferman
2015	A*	`conf`	This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi
2014	A	`conf`	Discounting in LTL. TACAS Shaull Almagor, Udi Boker, Orna Kupferman
2014	J	`jnl`	Discounting in LTL. CoRR Shaull Almagor, Udi Boker, Orna Kupferman
2014	B	`conf`	Latticed-LTL Synthesis in the Presence of Noisy Inputs. FoSSaCS Shaull Almagor, Orna Kupferman
2014	—	`conf`	Regular Sensing. FSTTCS Shaull Almagor, Denis Kuperberg, Orna Kupferman
2013	A*	`conf`	Automatic Generation of Quality Specifications. CAV Shaull Almagor, Guy Avni, Orna Kupferman
2013	—	`conf`	Formalizing and Reasoning about Quality. ICALP (2) Shaull Almagor, Udi Boker, Orna Kupferman
2011	B	`conf`	Max and Sum Semantics for Alternating Weighted Automata. ATVA Shaull Almagor, Orna Kupferman
2011	A	`conf`	Tight bounds for strategyproof classification. AAMAS Reshef Meir, Shaull Almagor, Assaf Michaely, Jeffrey S. Rosenschein
2011	B	`conf`	What's Decidable about Weighted Automata? ATVA Shaull Almagor, Udi Boker, Orna Kupferman
2010	B	`conf`	Promptness in ATVA Shaull Almagor, Yoram Hirshfeld, Orna Kupferman