Citation
Krishnendu Chatterjee, Tom Henzinger. "Games, Times, and Probabilities: Value Iteration in Verification and Control". Talk or presentation, 14, February, 2007.

Abstract
(No abstract.)

Electronic downloads

• 1230_Henzinger_CHESS-Feb07.ppt · application/vnd.ms-powerpoint · 377 kbytes

• HTML

  Krishnendu Chatterjee, Tom Henzinger. <a
  href="http://chess.eecs.berkeley.edu/pubs/199.html"
  ><i>Games, Times, and Probabilities:  Value
  Iteration in Verification and Control</i></a>,
  Talk or presentation,  14, February, 2007.

• Plain text

  Krishnendu Chatterjee, Tom Henzinger. "Games, Times,
  and Probabilities:  Value Iteration in Verification and
  Control". Talk or presentation,  14, February, 2007.

• BibTeX

  @presentation{ChatterjeeHenzinger07_GamesTimesProbabilitiesValueIterationInVerification,
      author = {Krishnendu Chatterjee and Tom Henzinger},
      title = {Games, Times, and Probabilities:  Value Iteration
                in Verification and Control},
      day = {14},
      month = {February},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/199.html}
  }
  

Posted by Mary Stewart on 20 Feb 2007.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.