Leonardo Diamonte

Publication Activity (10 Years)

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

Top Topics

Computation Tree Logic

Pspace Complete

Reactive Systems

Top Venues

Publications

Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. FMICS (2023)