Bisimilarity distances for approximate differential privacy by Chistikov, D, Murawski, A, Purser, D

Asymmetric distances for approximate differential privacy by Chistikov, D, Murawski, A, Purser, D

The Big-O problem for labelled Markov chains and weighted automata by Chistikov, D, Kiefer, S, Murawski, A, Purser, D

The big-O problem by Chistikov, D, Kiefer, SM, Murawski, AS, Purser, D

Porous invariants by Lefaucheux, E, Ouaknine, J, Purser, D, Worrell, J

Porous invariants for linear systems by Lefaucheux, E, Ouaknine, J, Purser, D, Worrell, J

On the Skolem problem and the Skolem conjecture by Lipton, RJ, Luca, L, Nieuwveld, J, Ouaknine, J, Purser, D, Worrell, J

Skolem meets Schanuel by Bilu, Y, Luca, F, Nieuwveld, J, Ouaknine, J, Purser, D, Worrell, J

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

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