Search results - ORA - Oxford University Research Archive

1 - 9 of 9

1

Conference item

Verifying Team Formation Protocols with Probabilistic Model Checking

Chen, T, Kwiatkowska, M, Parker, D, et al.
2011-01-01

2

Thesis

Automatic verification of competitive stochastic systems

Simaitis, A
2014

3

Conference item

Playing Stochastic Games Precisely

Chen, T, Forejt, V, Kwiatkowska, M, et al.
2012-01-01

4

Journal article

Host selection through collective decision

Saffre, F, Simaitis, A
2012-05-01

5

Report

PLAYING STOCHASTIC GAMES PRECISELY

Chen, T, Forejt, V, Kwiatkowska, M, et al.
2012-01-01

6

Conference item

Automatic Verification of Competitive Stochastic Systems

Chen, T, Forejt, V, Kwiatkowska, M, et al.
2012-01-01

7

Report

On Stochastic Games with Multiple Objectives

Chen, T, Forejt, V, Kwiatkowska, M, et al.
2013-01-01

8

Report

Automatic Verification of Competitive Stochastic Systems

Chen, T, Forejt, V, Kwiatkowska, M, et al.
2011-01-01

9

Journal article

Automatic Verification of Competitive Stochastic Systems.

Chen, T, Forejt, V, Kwiatkowska, M, et al.
2012-01-01

TO TOP