A traversal-based algorithm for higher-order model checking. - Robin P. Neatherway; Steven J. Ramsay; C.-H. Luke Ong (ICFP, 2012)

A type-directed abstraction refinement approach to higher-order model checking. - Steven J. Ramsay; Robin P. Neatherway; C.-H. Luke Ong (POPL, 2014)

TravMC2: higher-order model checking for alternating parity tree automata. - Robin P. Neatherway; C.-H. Luke Ong (SPIN, 2014)

Higher-order model checking with traversals. - Robin P. Neatherway (2014)

Verifying Liveness Properties of ML Programs. - Martin Lester 001; Robin P. Neatherway; C.-H. Luke Ong; Steven J. Ramsay (CoRR, 2020)