Luke J. W. Martin

According to our database, Luke J. W. Martin authored at least 4 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Stochastic Activity Networks for the Verification of Knowledge Bases.

Luke J. W. Martin, Alexander B. Romanovsky

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

An Approach for Designing Knowledge-Based Systems for High-Integrity Applications.

Luke J. W. Martin, Alexander B. Romanovsky

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

A Formal Approach to Designing Reliable Advisory Systems.

Luke J. W. Martin, Alexander B. Romanovsky

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.

Luke J. W. Martin

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016