Model checking for probability and time: From theory to practice (2003)

by M Kwiatkowska
Venue:In Logic in Computer Science (LICS