Onderzoekers aan de Universiteit Twente hebben een rekenmodel ontwikkeld waarmee onderhoud aan treinen, de spoorinfrastructuur, vliegtuigen, zelfrijdende auto’s, robots en kerncentrales beter te plannen is. Dit zorgt voor een hogere betrouwbaarheid en lagere kosten. Dennis Guck van de vakgroep Formal Methods and Tools promoveerde onlangs op dit onderzoek.