Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.

Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuha-Zwakenberg, Marille Stoelinga

Browse the full FMICS paper archive.