No. |
Title |
Author |
Year |
---|

1 |
On Reachability Problems for Low-Dimensional Matrix Semigroups |
Colcombet, Thomas et al. |
2019 |

2 |
Program Invariants (Invited Talk) |
Ouaknine, Joël |
2019 |

3 |
Termination of Linear Loops over the Integers |
Hosseini, Mehran et al. |
2019 |

4 |
The Semialgebraic Orbit Problem |
Almagor, Shaull et al. |
2019 |

5 |
Effective Divergence Analysis for Linear Recurrence Sequences |
Almagor, Shaull et al. |
2018 |

6 |
O-Minimal Invariants for Linear Loops |
Almagor, Shaull et al. |
2018 |

7 |
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem |
Fijalkow, Nathanaël et al. |
2017 |

8 |
The Polytope-Collision Problem |
Almagor, Shaull et al. |
2017 |

9 |
Model Checking Flat Freeze LTL on One-Counter Automata |
Lechner, Antonia et al. |
2016 |

10 |
On the Skolem Problem for Continuous Linear Dynamical Systems |
Chonev, Ventsislav et al. |
2016 |