Shaull Almagor

Identifiers

No identifiers captured yet.

Papers (10)

1. A Factorization Theorem for Forest Algebras cs.FL · 2026 · author #1
2. A Complexity Bound for Determinisation of Min-Plus Weighted Automata cs.FL · 2026 · author #1
3. Unambiguisability and Register Minimisation of Min-Plus Models cs.FL · 2025 · author #1
4. The Semialgebraic Orbit Problem cs.CC · 2019 · author #1
5. Equilibria in Quantitative Concurrent Games cs.GT · 2018 · author #1
6. Weak Cost Register Automata are Still Powerful cs.FL · 2018 · author #1
7. The Polytope-Collision Problem cs.CC · 2016 · author #1
8. High-Quality Synthesis Against Stochastic Environments cs.LO · 2016 · author #1
9. Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis cs.FL · 2016 · author #1
10. Discounting in LTL cs.LO · 2014 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Orna Kupferman 3 shared papers
• Guy Arbel 2 shared papers
• James Worrell 2 shared papers
• Micha\"el Cadilhac 2 shared papers
• Sarai Sheinvald 2 shared papers
• Asaf Shoham 1 shared papers
• Filip Mazowiecki 1 shared papers
• Guillermo A. P\'erez 1 shared papers
• Jo\"el Ouaknine 1 shared papers
• Jo\"el Oukanine 1 shared papers
• Rajeev Alur 1 shared papers
• Suguman Bansal 1 shared papers
• Udi Boker 1 shared papers
• Yaron Velner 1 shared papers