Model checking expected time and expected reward formulae with random time bounds

Marta Kwiatkowska; Gethin Norman; A Pacheco; T Dohi; N Limnios; S Osak

Model checking expected time and expected reward formulae with random time bounds

Marta Kwiatkowska, Gethin Norman, A Pacheco, T Dohi, N Limnios, S Osak

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	282-291
Number of pages	10
Publication status	Published - 1 Jan 2002
Event	Proceedings 2nd Euro-Japanese Workshop on Stochastic Risk Modellng for Finance, Insurance, Production and Reliability - Duration: 1 Jan 2002 → …

Conference

Conference	Proceedings 2nd Euro-Japanese Workshop on Stochastic Risk Modellng for Finance, Insurance, Production and Reliability
Period	1/01/02 → …

Cite this

@conference{34a21bd001c74ddaa5e3d3459c8640da,

title = "Model checking expected time and expected reward formulae with random time bounds",

author = "Marta Kwiatkowska and Gethin Norman and A Pacheco and T Dohi and N Limnios and S Osak",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "282--291",

note = "Proceedings 2nd Euro-Japanese Workshop on Stochastic Risk Modellng for Finance, Insurance, Production and Reliability ; Conference date: 01-01-2002",

}

TY - CONF

T1 - Model checking expected time and expected reward formulae with random time bounds

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Pacheco, A

AU - Dohi, T

AU - Limnios, N

AU - Osak, S

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Paper

SP - 282

EP - 291

T2 - Proceedings 2nd Euro-Japanese Workshop on Stochastic Risk Modellng for Finance, Insurance, Production and Reliability

Y2 - 1 January 2002

ER -