*banner
 

Games, Times, and Probabilities: Value Iteration in Verification and Control
Krishnendu Chatterjee, Tom Henzinger

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess