Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425)

From MaRDI portal





scientific article; zbMATH DE number 7410437
Language Label Description Also known as
default for all languages
No label defined
    English
    Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
    scientific article; zbMATH DE number 7410437

      Statements

      Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      18 October 2021
      0 references
      simple stochastic games
      0 references
      parity games
      0 references
      energy games
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers