|
|||||
|
|
Automatic verification of concurrent stochastic systems |
|
| Authors: | Kwiatkowska Marta Norman Gethin Parker David Santos Gabriel |
| Affiliation: | 1.Department of Computing Science, University of Oxford, Oxford, UK ;2.School of Computing Science, University of Glasgow, Glasgow, UK ;3.School of Computer Science, University of Birmingham, Birmingham, UK ; |
| Abstract: | Formal Methods in System Design - Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |