PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games

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

PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games (bibtex)

@string{peva="Performance Evaluation"}
@string{sep="September"}
@Article{FHPW10,
  author = 	 {H. Fecher and M. Huth and N. Piterman and D. Wagner},
  title = {PCTL Model Checking of Markov Chains: Truth and Falsity as 
Winning Strategies in Games},
  journal =   peva,
  year = {2010},
  volume = {67},
  number = {9},
  pages =  {858-872},
  pdf = {2010/FHPW10.pdf},
  url = {2010/FHPW10.html},  
  month =  sep,
  OPTpdf = {http://pubs.doc.ic.ac.uk/truth-falsity-pctl-markov-chain/truth-falsity-pctl-markov-chain.pdf},
  OPTurl = {http://pubs.doc.ic.ac.uk/truth-falsity-pctl-markov-chain/},  
  keywords = {Model Checking,Games},
}