@conference {4032,
	title = {Modeling and Analysis of Probabilistic Timed Systems},
	booktitle = {Engineering of Computer Based Systems},
	year = {2009},
	month = {04/2009},
	address = {San Francisco, USA},
	abstract = {Probabilistic system models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a proposed technique for verifying certain safety and liveness properties for probabilistic timed automata.  The proposed technique is an extension of a technique used to verify stochastic hybrid automata using an approximation with Markov Decision Processes. A case study for CSMA/CD protocol has been used to show case the methodology used in our technique.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/PTAVerification_0.pdf},
	author = {Dubey, Abhishek and Riley, Derek and Abdelwahed, Sherif}
}
