A Hyperlogic for Strategies in Stochastic Games
Lecture notes in computer science, pp. 1–20
Authors 3
-
Affiliation as printed
RWTH Aachen University, Aachen, Germany
-
Christof Löding Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
-
Erika Ábrahám Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-06).
References 23
-
W2048905609details pending0citations
-
W2041894791details pending0citations
-
W2796267392details pending0citations
-
W2963563466details pending0citations
-
W3097045895details pending0citations
-
W3097615709details pending0citations
-
W3187902504details pending0citations
-
W4250728693details pending0citations
-
W4229917934details pending0citations
-
W2964335063details pending0citations
-
W2138707849details pending0citations
-
W2004306067details pending0citations
-
W2152720531details pending0citations
-
W2886584225details pending0citations