Assume-Guarantee Verification for Probabilistic Systems

M Kwiatkowska, G Norman, David Parker, H Qu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

85 Citations (Scopus)
Filter
Finished

Search results