@inproceedings{479,
  author = {Abhishek Dubey and Derek Riley and Sherif Abdelwahed},
  title = {Modeling and Analysis of Probabilistic Timed Systems},
  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.},
  year = {2009},
  journal = {Engineering of Computer Based Systems},
  month = {04/2009},
  address = {San Francisco, USA},
}