| No. |
Title |
Author |
Year |
| 1 |
Concurrent Games with Multiple Topologies |
Almagor, Shaull et al. |
2022 |
| 2 |
Determinization of One-Counter Nets |
Almagor, Shaull et al. |
2022 |
| 3 |
Simulation by Rounds of Letter-To-Letter Transducers |
Abu Nassar, Antonio et al. |
2022 |
| 4 |
Coverability in 1-VASS with Disequality Tests |
Almagor, Shaull et al. |
2020 |
| 5 |
Invariants for Continuous Linear Dynamical Systems |
Almagor, Shaull et al. |
2020 |
| 6 |
Parametrized Universality Problems for One-Counter Nets |
Almagor, Shaull et al. |
2020 |
| 7 |
Process Symmetry in Probabilistic Transducers |
Almagor, Shaull |
2020 |
| 8 |
The Semialgebraic Orbit Problem |
Almagor, Shaull et al. |
2019 |
| 9 |
Effective Divergence Analysis for Linear Recurrence Sequences |
Almagor, Shaull et al. |
2018 |
| 10 |
O-Minimal Invariants for Linear Loops |
Almagor, Shaull et al. |
2018 |
| 11 |
The Polytope-Collision Problem |
Almagor, Shaull et al. |
2017 |
| 12 |
High-Quality Synthesis Against Stochastic Environments |
Almagor, Shaull et al. |
2016 |
| 13 |
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis |
Almagor, Shaull et al. |
2016 |
| 14 |
Repairing Multi-Player Games |
Almagor, Shaull et al. |
2015 |
| 15 |
The Sensing Cost of Monitoring and Synthesis |
Almagor, Shaull et al. |
2015 |
| 16 |
Regular Sensing |
Almagor, Shaull et al. |
2014 |
