Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems. - Luke J. W. Martin (RSSRail, 2016)

A Formal Approach to Designing Reliable Advisory Systems. - Luke J. W. Martin; Alexander B. Romanovsky (SERENE, 2016)

An Approach for Designing Knowledge-Based Systems for High-Integrity Applications. - Luke J. W. Martin; Alexander B. Romanovsky (EDCC, 2017)

Stochastic Activity Networks for the Verification of Knowledge Bases. - Luke J. W. Martin; Alexander B. Romanovsky (SERENE, 2017)