Luke Thomas Herbert

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Automated Verification

Reactive Systems

Top Venues

Reliab. Eng. Syst. Saf.

Publications

Luke Thomas Herbert, Zaza Nadja Lee Hansen
Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach. Reliab. Eng. Syst. Saf. 145 (2016)