@InProceedings{KNP17b,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata},
booktitle={Models, Algorithms, Logics and Tools: Essays Dedicated to {Kim Guldstrand Larsen} on the Occasion of His 60th Birthday},
year={2017},

editors={},
pages={289--309},
organization={},
publisher={Springer},
series={LNCS},
volume={10460},
address={},
month={},
note={},
key={}
}