@inproceedings{KNP17,
 
author = {Marta Kwiatkowska and
 Gethin Norman and
 David Parker},
  
title = {Symbolic Verication and Strategy Synthesis for
Linearly-Priced Probabilistic Timed Automata},
  
booktitle = {{K}i{M}fest 2017},
  
editors = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ingolfsdottir and Axel Legay and Radu Mardare},
  
note = {To appear},
    
year = {2017},
  
publisher = {Springer},
 
}