PRISM-games: A model checker for stochastic multi-player games

Research output: Book/ReportBook

Authors

Colleges, School and Institutes

Details

Original languageUndefined/Unknown
Publication statusPublished - 2013