Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Reduction of stochastic parity to stochastic mean-payoff games
 
research article

Reduction of stochastic parity to stochastic mean-payoff games

Chatterjee, Krishnendu
•
Henzinger, Thomas A.  
2008
Information Processing Letters

A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with w-regular winning conditions specified as parity objectives, and mean-payoff (or limit-average) objectives. These games lie in NP boolean AND coNP. We present a polynomial-time Turing reduction of stochastic parity games to stochastic mean-payoff games. (c) 2007 Published by Elsevier B.V.

  • Details
  • Metrics
Type
research article
DOI
10.1016/j.ipl.2007.08.035
Web of Science ID

WOS:000254375800001

Author(s)
Chatterjee, Krishnendu
Henzinger, Thomas A.  
Date Issued

2008

Published in
Information Processing Letters
Volume

106

Start page

1

End page

7

Subjects

formal verification and model checking

•

stochastic games

•

parity objectives

•

mean-payoff objectives

•

formal methods

•

Perfect-Information

•

Complexity

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
MTC  
Available on Infoscience
November 30, 2010
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/61507
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés