Algorithms for Equilibria in Concurrent Stopping Games | Paper Citation Record

Observation 8e987811-4322-479c-a92f-5ab2cd2ef2cc · outbound

This paper cites 2008 , publisher=.

Algorithms for Equilibria in Concurrent Stopping Games 2008 , publisher=

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.334001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a00e6c3-92b0-4533-a00e-8a29e4500bf7 · outbound

This paper cites Randomise Alone, Reach as a Team , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Randomise Alone, Reach as a Team , booktitle =

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.354398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f8dbdf7-c245-4ae0-b572-a71fb467b73d · outbound

This paper cites and Kupferman, Orna , title =.

Algorithms for Equilibria in Concurrent Stopping Games and Kupferman, Orna , title =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.404559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32d5b664-ee07-4245-a238-d133c4cca47b · outbound

This paper cites Notes on Risk-Sensitive Nash Equilibria.

Algorithms for Equilibria in Concurrent Stopping Games Notes on Risk-Sensitive Nash Equilibria

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.448388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de0f1417-3933-4d04-af7f-23ad11297575 · outbound

This paper cites and Papadimitriou, Christos H.

Algorithms for Equilibria in Concurrent Stopping Games and Papadimitriou, Christos H

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.540988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f93f1946-757c-47fc-8d48-09a81b9c5a19 · outbound

This paper cites 2024 , isbn =.

Algorithms for Equilibria in Concurrent Stopping Games 2024 , isbn =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.591714Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f6db7fb-b97d-4926-a7db-985427239690 · outbound

This paper cites 2024 , volume =.

Algorithms for Equilibria in Concurrent Stopping Games 2024 , volume =

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.638958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e462e21-fd3e-4d59-b278-c51301113f5a · outbound

This paper cites Spirakis , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Spirakis , editor =

Reference 8

Resolution: verified exact; doi, observed 2026-07-31T20:50:54.838587Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4047051a-66f1-44c0-939f-aa788598d6ec · outbound

This paper cites Lipton and Evangelos Markakis and Aranyak Mehta , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Lipton and Evangelos Markakis and Aranyak Mehta , editor =

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.766104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2980ed55-5c26-42b2-8e18-01c04202da6e · outbound

This paper cites 45th International Symposium on Mathematical Foundations of Computer Science,.

Algorithms for Equilibria in Concurrent Stopping Games 45th International Symposium on Mathematical Foundations of Computer Science,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.828564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 112c73d4-304a-42b1-a683-fa3096298ae7 · outbound

This paper cites Decision Theory: A Formal Philosophical Introduction.

Algorithms for Equilibria in Concurrent Stopping Games Decision Theory: A Formal Philosophical Introduction

Reference 11

Resolution: verified exact; doi, observed 2026-07-31T20:50:54.668658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4422cc17-750a-4bd6-92d2-88ab1535d1c1 · outbound

This paper cites 2016 , edition =.

Algorithms for Equilibria in Concurrent Stopping Games 2016 , edition =

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-31T20:46:59.967182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4445e46c-43f0-44f4-aeb3-c168eaaeb0d4 · outbound

This paper cites 1950 , address =.

Algorithms for Equilibria in Concurrent Stopping Games 1950 , address =

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.053777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 290367b3-2e77-4efa-9fd1-efbe8defdbff · outbound

This paper cites Cowles Commission Discussion Paper: Statistics , year =.

Algorithms for Equilibria in Concurrent Stopping Games Cowles Commission Discussion Paper: Statistics , year =

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.129312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0513800-9232-43a6-8ae2-2e1599cb215d · outbound

This paper cites 2017 , note =.

Algorithms for Equilibria in Concurrent Stopping Games 2017 , note =

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.189673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa76ba09-f487-412a-bc48-80ddf93e0939 · outbound

This paper cites 2023 , url =.

Algorithms for Equilibria in Concurrent Stopping Games 2023 , url =

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.253390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 601d20a3-2e07-414c-bd69-627b7c6e97f3 · outbound

This paper cites Howard and James E.

Algorithms for Equilibria in Concurrent Stopping Games Howard and James E

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.315659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ef8de91-c7e5-4e49-93a3-08707d00528b · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.383315Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a8b9513-b89e-4436-b68e-ca8b8c1aebe6 · outbound

This paper cites Richard , title =.

Algorithms for Equilibria in Concurrent Stopping Games Richard , title =

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.476466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9c8773c-e8fe-4729-b8ee-bf2b89986ad7 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.623439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36ad231e-90ec-4871-a577-b622f8d1cade · outbound

This paper cites Introduction to transcendental numbers.

Algorithms for Equilibria in Concurrent Stopping Games Introduction to transcendental numbers

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.713931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01fd2799-5aa1-49bd-b4cf-b1ad3e72d3b9 · outbound

This paper cites 2010 , month = jan, school =.

Algorithms for Equilibria in Concurrent Stopping Games 2010 , month = jan, school =

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.777414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fb7b06f-2063-4aeb-a78c-53fefe75c37b · outbound

This paper cites and Wilkie, Alex , year =.

Algorithms for Equilibria in Concurrent Stopping Games and Wilkie, Alex , year =

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.848371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c51bc9f-ee13-4a5f-ba65-465f07f3a33c · outbound

This paper cites Martin , journal =.

Algorithms for Equilibria in Concurrent Stopping Games Martin , journal =

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:00.947860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d19e2917-ca07-4d98-8314-d8f09df1030d · outbound

This paper cites Vardi , title =.

Algorithms for Equilibria in Concurrent Stopping Games Vardi , title =

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.019473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c139593-68a9-4aba-a6af-19fe3518a697 · outbound

This paper cites Souza and K.

Algorithms for Equilibria in Concurrent Stopping Games Souza and K

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.091795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82e10a6d-2c04-4d46-9213-a8339955aeb1 · outbound

This paper cites The complexity of temporal constraint satisfaction problems , journal =.

Algorithms for Equilibria in Concurrent Stopping Games The complexity of temporal constraint satisfaction problems , journal =

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.199436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92aa6f23-f747-4ebc-a97d-3b433ba533c2 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.255634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afddb21e-6b74-4279-9bba-f2f7b10d5008 · outbound

This paper cites 1972 , url =.

Algorithms for Equilibria in Concurrent Stopping Games 1972 , url =

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.315855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6b0309b-6f55-4fcf-9584-17131397af65 · outbound

This paper cites Efficient Parallel Strategy Improvement for Parity Games , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Efficient Parallel Strategy Improvement for Parity Games , booktitle =

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.368647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d22e648f-69b4-47e6-b34b-a3cdca5bf01d · outbound

This paper cites On exact algorithms for the permutation.

Algorithms for Equilibria in Concurrent Stopping Games On exact algorithms for the permutation

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.436977Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86b8299b-b021-4ba2-8383-a2f9f31062fa · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.494815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa950e0c-c6ab-4412-8095-399b0b34c82a · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.575240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d1cbdf6-5f5c-4021-8995-679b06d30bbf · outbound

This paper cites Fomin and.

Algorithms for Equilibria in Concurrent Stopping Games Fomin and

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.630113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 097b346b-682a-4260-9597-8108f5348a3d · outbound

This paper cites On Directed Feedback Vertex Set Parameterized by Treewidth , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games On Directed Feedback Vertex Set Parameterized by Treewidth , booktitle =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.689792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99a11787-2581-495b-9178-88b47024c155 · outbound

This paper cites Solving Temporal.

Algorithms for Equilibria in Concurrent Stopping Games Solving Temporal

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.752194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84633534-80c5-4dac-9051-6a0140b7f538 · outbound

This paper cites Bodlaender and Fedor V.

Algorithms for Equilibria in Concurrent Stopping Games Bodlaender and Fedor V

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.812509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2b68795-cd40-4c1b-b2c1-bf3a3af2ed0d · outbound

This paper cites Good-Enough Synthesis , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Good-Enough Synthesis , booktitle =

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.873850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5685b38-1e51-47ed-9fde-be95418db067 · outbound

This paper cites Henzinger and Barbara Jobstmann , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Henzinger and Barbara Jobstmann , editor =

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.936999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fff779e-f2d4-406c-bfbd-b0118fcb9bdc · outbound

This paper cites Rational Synthesis , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Rational Synthesis , booktitle =

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:01.994767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e26fe337-d30b-4b6b-a79c-475465833ddb · outbound

This paper cites Vardi and Mihalis Yannakakis , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Vardi and Mihalis Yannakakis , editor =

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.047929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd380294-7309-45df-b896-08ae2d2f3449 · outbound

This paper cites Vardi , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Vardi , editor =

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.107372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92c35517-649d-48ce-aecb-9ae6a3e92dd1 · outbound

This paper cites Vardi , title =.

Algorithms for Equilibria in Concurrent Stopping Games Vardi , title =

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.171378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 503ac876-29fd-4c57-9ffb-16a735e31837 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.232837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b63eb73e-f4fb-4997-8a2d-08e41ebc217d · outbound

This paper cites Allen Emerson and Charanjit S.

Algorithms for Equilibria in Concurrent Stopping Games Allen Emerson and Charanjit S

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.296856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4683927-f6a7-4cbf-8171-fa4844b14f16 · outbound

This paper cites Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages , pages =.

Algorithms for Equilibria in Concurrent Stopping Games Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages , pages =

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.361336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ffb19c2-7e79-4b39-83af-f9ea98bd3ff3 · outbound

This paper cites Henzinger , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Henzinger , editor =

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.421023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d6e65a2-df5d-4156-a306-13977380d800 · outbound

This paper cites Solving Random Parity Games in Polynomial Time.

Algorithms for Equilibria in Concurrent Stopping Games Solving Random Parity Games in Polynomial Time

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.484483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d4f1950-4620-4a40-b2bc-2a103b243699 · outbound

This paper cites Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games.

Algorithms for Equilibria in Concurrent Stopping Games Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.553349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21004cb5-c75b-4ff5-bbbb-26e57489f026 · outbound

This paper cites Solving Odd-Fair Parity Games , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Solving Odd-Fair Parity Games , booktitle =

Reference 51

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.610226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49f3dbd8-e41c-4cb7-9976-8f833c672544 · outbound

This paper cites Solving Two-Player Games Under Progress Assumptions , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Solving Two-Player Games Under Progress Assumptions , booktitle =

Reference 52

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.667781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c202400-d480-4401-8734-4817b70f9971 · outbound

This paper cites Souza and K.

Algorithms for Equilibria in Concurrent Stopping Games Souza and K

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.725411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7363dd08-a447-4244-b530-71ee866ef417 · outbound

This paper cites Henzinger and Nir Piterman , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Henzinger and Nir Piterman , editor =

Reference 54

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.785886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d588ff3-b41a-410b-98ed-066659815c2b · outbound

This paper cites Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games , booktitle =

Reference 55

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.852877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 764dc632-f583-4eaf-a490-c58fbe730927 · outbound

This paper cites Henzinger and Marcin Jurdzi\'.

Algorithms for Equilibria in Concurrent Stopping Games Henzinger and Marcin Jurdzi\'

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.909269Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e959ad2-2a6f-4ece-8d34-6cd89c24a2e0 · outbound

This paper cites 2008 , url =.

Algorithms for Equilibria in Concurrent Stopping Games 2008 , url =

Reference 57

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:02.976502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdfe46a4-b00f-482c-b948-a2e7aaaa1009 · outbound

This paper cites and K\"onig, B.

Algorithms for Equilibria in Concurrent Stopping Games and K\"onig, B

Reference 58

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.032677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c104e54-6823-44ce-9920-08eb16f1a55f · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.180473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 986e6649-bc5f-4cbc-856f-6ac24e309c37 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.230781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f30ed41-35ec-4334-8b55-0e4cf5f9e72c · outbound

This paper cites and Jain, Sanjay and Khoussainov, Bakhadyr and Li, Wei and Stephan, Frank , title =.

Algorithms for Equilibria in Concurrent Stopping Games and Jain, Sanjay and Khoussainov, Bakhadyr and Li, Wei and Stephan, Frank , title =

Reference 62

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.294779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80306509-7047-4373-b08e-e97ac3b27062 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.363077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec7c95bc-cc28-4179-a597-fd88339a22bb · outbound

This paper cites SIAM Journal on Computing , volume =.

Algorithms for Equilibria in Concurrent Stopping Games SIAM Journal on Computing , volume =

Reference 64

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.421730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad914b83-a08d-4986-8665-212e40020243 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.470894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b533fdc0-a1fc-4424-b134-d594a95b376a · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.536377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5fac4a8-0219-433f-84f9-5098de7846a5 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 67

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.592104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de42df8c-0ecc-4c2a-9997-cffa9c04fffc · outbound

This paper cites , title =.

Algorithms for Equilibria in Concurrent Stopping Games , title =

Reference 68

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.660656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a5bf832-30c4-4831-9c72-04ecd1e2435c · outbound

This paper cites Proceedings of the National Academy of Sciences , year=.

Algorithms for Equilibria in Concurrent Stopping Games Proceedings of the National Academy of Sciences , year=

Reference 69

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.716814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e92a3ed3-7762-428a-9010-2d430377fee8 · outbound

This paper cites Vardi , editor =.

Algorithms for Equilibria in Concurrent Stopping Games Vardi , editor =

Reference 70

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.779721Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5f41f4b-1a81-4d1b-b17e-d49d26b6b9d9 · outbound

This paper cites Rabin Games and Colourful Universal Trees , year =.

Algorithms for Equilibria in Concurrent Stopping Games Rabin Games and Colourful Universal Trees , year =

Reference 71

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.834506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd74600d-a6b3-41e3-83e1-72e58b37aead · outbound

This paper cites Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

Algorithms for Equilibria in Concurrent Stopping Games Rabinizer 4: From LTL to Your Favourite Deterministic Automaton

Reference 72

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.899575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b7b7445-ba4d-44e6-8cfc-b862c06b50c8 · outbound

This paper cites and Dawar, A.

Algorithms for Equilibria in Concurrent Stopping Games and Dawar, A

Reference 73

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:03.958524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 440d7449-0ca2-46d0-bb24-bcc81777355c · outbound

This paper cites Fast Mu-Calculus Model Checking when Tree-Width Is Bounded , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Fast Mu-Calculus Model Checking when Tree-Width Is Bounded , booktitle =

Reference 74

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.021603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8539269-4419-49ae-be43-dc1f2d3aad71 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 75

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.084559Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cf2bbcc-bfdf-4ff3-bcee-b2cc555bd04c · outbound

This paper cites An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.

Algorithms for Equilibria in Concurrent Stopping Games An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games

Reference 76

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.145811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23cde679-f09d-4c9d-bb38-481509d5781d · outbound

This paper cites A short proof of correctness of the quasi-polynomial time algorithm for parity games.

Algorithms for Equilibria in Concurrent Stopping Games A short proof of correctness of the quasi-polynomial time algorithm for parity games

Reference 77

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.258222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eeea86fb-bf9f-48e4-9b09-959aa6502074 · outbound

This paper cites Parity Games of Bounded Tree- and Clique-Width.

Algorithms for Equilibria in Concurrent Stopping Games Parity Games of Bounded Tree- and Clique-Width

Reference 78

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.322080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b878102e-9f6e-4e3d-a54f-15175063f009 · outbound

This paper cites Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science , articleno =.

Algorithms for Equilibria in Concurrent Stopping Games Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science , articleno =

Reference 79

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.374960Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 861756c4-329f-417d-957b-729da2380c53 · outbound

This paper cites Slightly Superexponential Parameterized Problems , journal =.

Algorithms for Equilibria in Concurrent Stopping Games Slightly Superexponential Parameterized Problems , journal =

Reference 80

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.443122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10973e06-d045-4d21-82db-da8a3d671e8b · outbound

This paper cites 30th International Symposium on Mathematical Foundations of Computer Science,.

Algorithms for Equilibria in Concurrent Stopping Games 30th International Symposium on Mathematical Foundations of Computer Science,

Reference 81

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.503183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dad32087-60b0-4015-88dd-fd779c8d3dcd · outbound

This paper cites Parity Games on Graphs with Medium Tree-Width.

Algorithms for Equilibria in Concurrent Stopping Games Parity Games on Graphs with Medium Tree-Width

Reference 82

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.568792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a51efa3-5dab-47bb-ba50-2ef15b2e6378 · outbound

This paper cites and Kreutzer, S.

Algorithms for Equilibria in Concurrent Stopping Games and Kreutzer, S

Reference 83

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.618574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7b3af0c-380a-4a82-ba40-c1be1de8a70d · outbound

This paper cites Clique-Width and Parity Games , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Clique-Width and Parity Games , booktitle =

Reference 84

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.660966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffb1a82b-7418-4d34-9556-6397c5135d58 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 85

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.693418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 929dd282-e35f-49ae-9ce8-9d5dbc4517d4 · outbound

This paper cites An Automata Toolbox , publisher =.

Algorithms for Equilibria in Concurrent Stopping Games An Automata Toolbox , publisher =

Reference 86

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.735727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4812a50-366b-4b5c-bda2-e26fabdae42c · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 87

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.797226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eba221ce-2883-43a5-b23b-307089ece0a5 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 88

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.856201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c8c2411-399d-4f26-89b4-b82a4a7f3240 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 89

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.922338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cb311fd-b0a2-4463-9b67-42f7849a14b4 · outbound

This paper cites and Daviaud, L.

Algorithms for Equilibria in Concurrent Stopping Games and Daviaud, L

Reference 90

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:04.974392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea1ee6e3-3881-44cf-997b-abd41b32e40f · outbound

This paper cites and Jurdzi.

Algorithms for Equilibria in Concurrent Stopping Games and Jurdzi

Reference 92

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.087323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36077f9f-5ef5-48a9-9bb2-c0488d617abf · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.146793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd73ce32-2785-4237-92c1-1b2fb49244de · outbound

This paper cites Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees , booktitle =.

Algorithms for Equilibria in Concurrent Stopping Games Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees , booktitle =

Reference 94

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.212444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8c78239-9ee8-48ac-b566-7d3a4951b0d9 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 95

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.266770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60f42bc8-c57a-4d52-ace5-a2191c455243 · outbound

This paper cites Allen Emerson and Charanjit S.

Algorithms for Equilibria in Concurrent Stopping Games Allen Emerson and Charanjit S

Reference 96

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.319588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a771b27-0608-4eeb-af8a-5b4f22b1c3e3 · outbound

This paper cites Allen Emerson and Charanjit S.

Algorithms for Equilibria in Concurrent Stopping Games Allen Emerson and Charanjit S

Reference 97

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.379962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8239f98-95e5-4ca0-9a8f-03f66fdb2512 · outbound

This paper cites an unresolved cited work.

Algorithms for Equilibria in Concurrent Stopping Games Unresolved cited work

Reference 98

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.434597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc115a63-0ce1-46b6-aa93-4c7d7275e4fc · outbound

This paper cites Schuller , title =.

Algorithms for Equilibria in Concurrent Stopping Games Schuller , title =

Reference 99

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.472447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b116c1d-5788-4323-a3d7-5dda7ac02a53 · outbound

This paper cites , title =.

Algorithms for Equilibria in Concurrent Stopping Games , title =

Reference 100

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.588146Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8569fe6-b711-423e-99be-9fd13b2fc16e · outbound

This paper cites and Jain, S.

Algorithms for Equilibria in Concurrent Stopping Games and Jain, S

Reference 101

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.644171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04ed3da5-d985-4d27-a0ff-cb7c8e884260 · outbound

This paper cites , title =.

Algorithms for Equilibria in Concurrent Stopping Games , title =

Reference 102

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.692731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b029179a-b4b1-45a4-b95a-f7ab3379e7db · outbound

This paper cites , title =.

Algorithms for Equilibria in Concurrent Stopping Games , title =

Reference 103

Resolution: unresolved; no resolver link, observed 2026-07-31T20:47:05.750596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers