Paper Citation Record · LEDGER

Automated Approach for Solving Infinite-state Polynomial Reachability Games

As of 6 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2605.10169.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2605.10169 v1

Coverage vector

measured 53 of 53 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-12T04:22:37.919106Z

measured 53 of 53 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

53 of 53 outbound references displayed

verified exact0
verified fuzzy47
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8673e2b2-c9e3-4449-ae9b-595f7b281d16 · outbound

This paper cites 2021 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 2021 , doi =

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.643661Z

Source-reported events for the cited work

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

Observation 4dac4c8d-6fd7-43e6-9f08-a9598ac43e19 · outbound

This paper cites 2021 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 2021 , doi =

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.669993Z

Source-reported events for the cited work

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

Observation 82924f92-ca59-45de-8be0-4c25db521a53 · outbound

This paper cites an unresolved cited work.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-12T15:21:39.640058Z

Source-reported events for the cited work

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

Observation 3a13de99-bddf-4f6a-a44e-004535bfe7e7 · outbound

This paper cites Synthesis of Linear Ranking Functions , booktitle =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Synthesis of Linear Ranking Functions , booktitle =

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.638236Z

Source-reported events for the cited work

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

Observation 116c5773-6d72-4a03-9ee9-07a52979c66a · outbound

This paper cites 2004 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 2004 , doi =

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.636099Z

Source-reported events for the cited work

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

Observation b63e9e32-ff83-483b-9947-fc106c7d79bb · outbound

This paper cites ATVA , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games ATVA , year=

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.634331Z

Source-reported events for the cited work

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

Observation f4f64a75-c579-427c-abe5-49f43e291ef0 · outbound

This paper cites Infinite Games , booktitle =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Infinite Games , booktitle =

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.681854Z

Source-reported events for the cited work

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

Observation a6896a22-145c-4072-a5d5-73108e193ce0 · outbound

This paper cites Chandra and Dexter Kozen and Larry J.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Chandra and Dexter Kozen and Larry J

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.671812Z

Source-reported events for the cited work

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

Observation 861b2ce0-2556-4e67-8c11-8b54d6cc6d8a · outbound

This paper cites NeurIPS , year =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games NeurIPS , year =

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.630022Z

Source-reported events for the cited work

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

Observation c524e4d1-3e2e-4156-9bcb-2a08cfbadc29 · outbound

This paper cites IJCAI , year =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games IJCAI , year =

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.675355Z

Source-reported events for the cited work

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

Observation b37a05b8-1d7c-4462-8ee8-543fc3c059b9 · outbound

This paper cites AAAI , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games AAAI , year=

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.673460Z

Source-reported events for the cited work

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

Observation 6884aa14-acd3-4687-ab7b-e75c4bc0a97b · outbound

This paper cites AAAI , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games AAAI , year=

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.668051Z

Source-reported events for the cited work

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

Observation bffd35a2-ed28-4bed-af22-29c6e444d7e6 · outbound

This paper cites Advances in Neural Information Processing Systems , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Advances in Neural Information Processing Systems , year=

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.650136Z

Source-reported events for the cited work

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

Observation 5686737a-6ebb-457b-a19a-38d4bc28f6be · outbound

This paper cites AAAI , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games AAAI , year=

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.606763Z

Source-reported events for the cited work

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

Observation 364aaf01-ba0e-455a-8d3d-bbec3b8e6531 · outbound

This paper cites an unresolved cited work.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-12T15:21:39.594052Z

Source-reported events for the cited work

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

Observation a1145e78-4904-41fe-93df-75359347d544 · outbound

This paper cites Localized Attractor Computations for Infinite-State Games , booktitle =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Localized Attractor Computations for Infinite-State Games , booktitle =

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.679101Z

Source-reported events for the cited work

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

Observation c4546ec9-b142-4d67-9371-99c180539189 · outbound

This paper cites Beyene and Swarat Chaudhuri and Corneliu Popeea and Andrey Rybalchenko , title =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Beyene and Swarat Chaudhuri and Corneliu Popeea and Andrey Rybalchenko , title =

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.660164Z

Source-reported events for the cited work

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

Observation 6e744437-1687-48f5-ba01-7404ae069da3 · outbound

This paper cites AAAI , year =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games AAAI , year =

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.677276Z

Source-reported events for the cited work

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

Observation efdf2a27-f7b9-435f-b28d-b156391873fc · outbound

This paper cites Henzinger and Orna Kupferman , title =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Henzinger and Orna Kupferman , title =

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.652119Z

Source-reported events for the cited work

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

Observation d776eb71-bac2-4df5-b07a-c852d5ee28f7 · outbound

This paper cites Wooldridge , title =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Wooldridge , title =

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.584370Z

Source-reported events for the cited work

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

Observation 2645bab6-876b-487a-ad3f-69d6bb31b438 · outbound

This paper cites AAAI , year =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games AAAI , year =

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.661937Z

Source-reported events for the cited work

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

Observation d501d69a-fb1b-4238-8a65-a0ed52880818 · outbound

This paper cites AAAI , year =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games AAAI , year =

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.586630Z

Source-reported events for the cited work

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

Observation a51f3a5f-4c70-44ed-9060-2cd7cfec58bc · outbound

This paper cites an unresolved cited work.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-05-12T15:21:39.582068Z

Source-reported events for the cited work

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

Observation eb4f16ff-8d9c-48e9-ab99-9855e91cf8a4 · outbound

This paper cites Solving Long-run Average Reward Robust MDPs via Stochastic Games , booktitle =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Solving Long-run Average Reward Robust MDPs via Stochastic Games , booktitle =

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.588991Z

Source-reported events for the cited work

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

Observation b3ce7834-0bae-4bf9-9f88-ef28d2d36557 · outbound

This paper cites Annals of Mathematics , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Annals of Mathematics , year=

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.600720Z

Source-reported events for the cited work

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

Observation 9128de7c-60a6-4080-afe2-43b85c35c5b5 · outbound

This paper cites Transactions of the American Mathematical society , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Transactions of the American Mathematical society , year=

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.602610Z

Source-reported events for the cited work

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

Observation e2b14732-7e2c-4695-9f80-3662ed9ecf22 · outbound

This paper cites Henzinger and Peter W.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Henzinger and Peter W

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.632480Z

Source-reported events for the cited work

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

Observation 2ba8e331-28ff-45e9-b437-d7103d9d8186 · outbound

This paper cites 1997 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 1997 , doi =

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.683901Z

Source-reported events for the cited work

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

Observation c23e1413-d606-42ce-9b37-f227fe63d1a4 · outbound

This paper cites Dill , title =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Dill , title =

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.686142Z

Source-reported events for the cited work

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

Observation 97eb703a-89f3-4b68-b9f1-88dde853b150 · outbound

This paper cites an unresolved cited work.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-05-12T15:21:39.690383Z

Source-reported events for the cited work

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

Observation 60a01d8c-a3e9-4fd3-aae1-91ea2577cb00 · outbound

This paper cites 2024 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 2024 , doi =

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.624097Z

Source-reported events for the cited work

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

Observation e809574e-c3fe-4ab9-b970-3d3825554cb1 · outbound

This paper cites 2021 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 2021 , doi =

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.616449Z

Source-reported events for the cited work

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

Observation c4ab03fb-c237-4ee9-8c1b-9f7f795d49de · outbound

This paper cites journal =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games journal =

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.618385Z

Source-reported events for the cited work

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

Observation 8d42e2ab-6d73-4508-93f6-2f22b70b33dd · outbound

This paper cites Hybrid Systems , year =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Hybrid Systems , year =

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.620205Z

Source-reported events for the cited work

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

Observation bcec3d52-7714-40b7-bc94-8d237fc694de · outbound

This paper cites Henzinger and Orna Kupferman , title =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Henzinger and Orna Kupferman , title =

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.622208Z

Source-reported events for the cited work

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

Observation 7155dd9f-9a89-4e6e-95a2-63c2347b9d81 · outbound

This paper cites 2008 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 2008 , doi =

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.641798Z

Source-reported events for the cited work

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

Observation 02f20567-e2df-4431-97ad-db39ecf4a853 · outbound

This paper cites TACAS , year =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games TACAS , year =

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.628123Z

Source-reported events for the cited work

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

Observation 80ac0a18-2ffa-4ef2-9671-0f04953d4e1a · outbound

This paper cites 2006 , doi =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games 2006 , doi =

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.648025Z

Source-reported events for the cited work

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

Observation 42e91eab-fcc0-4770-873f-35c946e4d3ce · outbound

This paper cites an unresolved cited work.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-05-12T15:21:39.591600Z

Source-reported events for the cited work

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

Observation 5f323703-80e1-42d7-a447-be2d68ba9c4a · outbound

This paper cites Henzinger and Ranjit Jhala and Rupak Majumdar , title =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Henzinger and Ranjit Jhala and Rupak Majumdar , title =

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.658129Z

Source-reported events for the cited work

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

Observation 9188fdd2-2e6d-4312-9632-97d2419864a3 · outbound

This paper cites an unresolved cited work.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-05-12T15:21:39.595964Z

Source-reported events for the cited work

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

Observation c785e641-3961-44f3-88d0-dde6323b10dc · outbound

This paper cites Parameterized Synthesis with Safety Properties , booktitle =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Parameterized Synthesis with Safety Properties , booktitle =

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.608925Z

Source-reported events for the cited work

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

Observation e93f46bb-2829-4058-a36e-c7fbf095aeb6 · outbound

This paper cites Whalen , title =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Whalen , title =

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.645950Z

Source-reported events for the cited work

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

Observation 48d27ba9-b96b-479d-8034-8c675bab95fe · outbound

This paper cites Journal of symbolic computation , year=.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Journal of symbolic computation , year=

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.688243Z

Source-reported events for the cited work

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

Observation 752123f0-fda5-47df-aa5b-bf783833a474 · outbound

This paper cites CoRR , volume =.

Automated Approach for Solving Infinite-state Polynomial Reachability Games CoRR , volume =

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.666169Z

Source-reported events for the cited work

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

Observation 59d31195-3fab-4472-bdd9-6cc31fdf5570 · outbound

This paper cites Structure and Interpretation of Computer Programs.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Structure and Interpretation of Computer Programs

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.611754Z

Source-reported events for the cited work

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

Observation 41478002-8b9e-4175-b48b-e5297ce68f36 · outbound

This paper cites Visual Information Extraction with Lixto.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Visual Information Extraction with Lixto

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.614324Z

Source-reported events for the cited work

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

Observation 96fd4c3f-baa4-431f-ad51-e88d127ef580 · outbound

This paper cites Brachman and James G.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Brachman and James G

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.598645Z

Source-reported events for the cited work

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

Observation e3cffa90-383d-4a07-8d46-9836133d56ad · outbound

This paper cites Complexity results for nonmonotonic logics.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Complexity results for nonmonotonic logics

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.604865Z

Source-reported events for the cited work

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

Observation d8440e4f-2818-4545-93df-1090af1864f1 · outbound

This paper cites Hypertree Decompositions and Tractable Queries.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Hypertree Decompositions and Tractable Queries

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.626326Z

Source-reported events for the cited work

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

Observation af2ca849-946c-421e-aad2-5d3a4ba0f848 · outbound

This paper cites Levesque.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Levesque

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.656019Z

Source-reported events for the cited work

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

Observation 97388f5b-2a6d-4111-8d74-8250518a994f · outbound

This paper cites Levesque.

Automated Approach for Solving Infinite-state Polynomial Reachability Games Levesque

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.654095Z

Source-reported events for the cited work

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

Observation 39f7a1ed-4a54-4b89-b445-fecb980320aa · outbound

This paper cites On the compilability and expressive power of propositional planning formalisms.

Automated Approach for Solving Infinite-state Polynomial Reachability Games On the compilability and expressive power of propositional planning formalisms

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-05-12T15:21:39.664029Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.