Skip to main navigation Skip to search Skip to main content

SPIN 2025 Best paper award

Prize

Description

Best paper award for our paper "0-1 Laws for LTL and CTL over Random Transition Systems"
Awarded date8 May 2025
Degree of recognitionInternational
Granting OrganisationsInternational Symposium on Model Checking Software

    Fingerprint