共 16 条
[1]
Bordais B, 2023, Arxiv, DOI arXiv:2311.14373
[2]
Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives
[J].
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023,
2023, 13992
:541-560
[3]
Bordais Benjamin, 2021, LIPICS, V213, DOI [10.4230/ LIPIcs. FSTTCS. 2021.41, DOI 10.4230/LIPICS.FSTTCS.2021.41]
[4]
Bordais Benjamin, 2022, LIPICS, V250, DOI [10.4230/LIPIcs.FSTTCS.2022.33, DOI 10.4230/LIPICS.FSTTCS.2022.33]
[5]
Bordais Benjamin, 2022, LIPIcs, V216, DOI DOI 10.4230/LIPICS
[6]
Chatterjee K., 2004, P 15 ANN ACM SIAM S, P121
[7]
The Complexity of Quantitative Concurrent Parity Games
[J].
PROCEEDINGS OF THE SEVENTHEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS,
2006,
:678-+
[9]
Concurrent omega-regular games
[J].
15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS,
2000,
:141-154
[10]
Everett H, 1957, ANN MATH STUD, V3, P67, DOI DOI 10.1515/9781400882151-004