p-Automata: New Foundations for Discrete-Time Probabilistic Verification

Huth, M.; Piterman, N.; Wagner, D.

p-Automata: New Foundations for Discrete-Time Probabilistic Verification (bibtex)

@string{peva="Performance Evaluation"}
@Article{HPW12,
  author = {M. Huth and N. Piterman and D. Wagner},
  title = {p-Automata: New Foundations for Discrete-Time Probabilistic Verification},
  journal = peva,
  year = {2012},
  volume = {69},
  number = {7-8},
  pages = {356-378},
  keywords = {Games, Model Checking,Automata},
  pdf = {2012/HPW12.pdf},
}