Quantitative Multi-objective Verification for Probabilistic Systems.

We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures that capture, for example, energy usage or performa...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Forejt, V, Kwiatkowska, M, Norman, G, Parker, D, Qu, H
Awduron Eraill: Abdulla, P
Fformat: Journal article
Iaith:English
Cyhoeddwyd: Springer 2011