Automatic Verification of Competitive Stochastic Systems
Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis
Details
| Institution |
DCS |
| Number |
RR−11−11 |
| Pages |
25 |
| Year |
2011 |
Links
Related pages
|
People |
Taolue Chen | Vojtech Forejt | Marta Kwiatkowska | Aistis Simaitis |