What's decidable about linear loops? by Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Varonka, A, Whiteland, MA, Worrell, J

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications by Baier, C, Funke, F, Jantsch, S, Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Whiteland, MA, Worrell, J

On positivity and minimality for second-order holonomic sequences by Kenison, G, Klurman, O, Lefaucheux, E, Luca, F, Moree, P, Ouaknine, J, Whiteland, MA, Worrell, J

The Orbit Problem for parametric linear dynamical systems by Baier, C, Jantsch, S, Lefaucheux, E, Ouaknine, J, Whiteland, MA, Funke, F, Karimov, T, Luca, F, Purser, D, Worrell, J