Automatic Verification of Competitive Stochastic Systems

Automatic Verification of Competitive Stochastic Systems

Show other versions (3)

Bibliographic Details
Main Authors:	Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A
Format:	Report
Published:	DCS 2011

Automatic verification of competitive stochastic systems

Automatic verification of competitive stochastic systems by Simaitis, A

Published 2014

Thesis

Automatic Verification of Competitive Stochastic Systems.

Automatic Verification of Competitive Stochastic Systems. by Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A

Published 2012

Journal article

Automatic Verification of Competitive Stochastic Systems

Automatic Verification of Competitive Stochastic Systems by Chen, T, Forejt, V, Kwiatkowska, M, Parker, D, Simaitis, A

Published 2012

Conference item