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

1 |
Probabilistic Automata of Bounded Ambiguity |
Fijalkow, Nathanaël et al. |
2017 |

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

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

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

5 |
On Restricted Nonnegative Matrix Factorization |
Chistikov, Dmitry et al. |
2016 |

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

7 |
Proving the Herman-Protocol Conjecture |
Bruna, Maria et al. |
2016 |

8 |
On Matrix Powering in Low Dimensions |
Galby, Esther et al. |
2015 |

9 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper) |
Worrell, James |
2015 |

10 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk) |
Worrell, James |
2015 |