Recursive Concurrent Stochastic Games

Etessami, K., & Yannakakis, M. (2008). Recursive Concurrent Stochastic Games. Logical Methods in Computer Science.

Type

Journal article

Intellectual base

Primary research

Year

2008

DOI

10.2168/lmcs-4(4:7)2008

Link

https://doi.org/10.2168/LMCS-4(4:7)2008

Cited by

1 citation across 1 artifact.

Domain-specific

• Square-Root Sum Problem
  • A reduction interface. Exact Euclidean length comparisons and several quantitative verification problems reduce to Square-Root Sum, so an improved algorithm or class containment propagates beyond radical arithmetic.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://arxiv.org/abs/0810.3581 ×1

Registry ID ref:a88d60b05b1f · see in the full table