Guaranteed bounds on posterior distributions of discrete probabilistic programs with loops 由 Zaiser, F, Murawski, AS, Ong, C-HL

Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach 由 Zaiser, F, Murawski, AS, Ong, C-HL

Model checking liveness properties of higher-order functional programs 由 Lester, MM, Neatherway, RP, Ong, C-HL, Ramsay, S

Deciding secrecy of security protocols for an unbounded number of sessions: The case of depth-bounded processes 由 Ong, C-HL, Tiu, A, D'Osualdo, E