{"as_of":"2026-08-08T16:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05a5bd57b1cfcbbf2c11fe63ec53e5bdf1f7a42b5a4d768c59b165e0fcb1ff06","coverage":[{"denominator":52,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":52,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T10:25:12.240407Z","state":"measured"},{"denominator":52,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":52,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.04129/citation-record","integrity":"/paper/2509.04129/integrity","json":"/paper/2509.04129/citation-record.json","paper":"/paper/2509.04129"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icalp.2025.138","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.134952Z","title":"In: Censor-Hillel, K.,Grandoni,F.,Ouaknine,J.,Puppis,G.(eds.)52ndInternationalColloquiumon Automata, Languages, and Programming, ICALP 2025, July 8-11, 2025, Aarhus, Denmark","venue":null,"work_id":"8f67fa10-635d-4e32-ba2f-378155096dc9","year":2025},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.809012Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:5b5587c5e5bbb2506298e7641af52d8e039031f8702cb1c6c5372e394eeb9e09","observation_id":"335445a3-0032-4d10-936f-08ad1be7df60","resolution":{"observed_at":"2026-08-05T10:25:13.145287Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1515/9781400882014-029","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.111622Z","title":"In: Dresher, M., Shapley, L.S., Tucker, A.W","venue":null,"work_id":"ee5397ee-8fcb-44e6-9528-6d36c81ad4aa","year":1964},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.832124Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:6f07407d7520ffc64bf18a849d65056382cd3b56a0f4875351ea1a222c197e79","observation_id":"2e799e8e-ba24-44f7-bf91-8591a5b65adc","resolution":{"observed_at":"2026-08-05T10:25:13.120120Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3107926","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.081497Z","title":null,"venue":null,"work_id":"d4c2bf08-a84c-47a2-a190-82e7427ae1d3","year":2017},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.842799Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:df8f60f87e9712a7800ff3f8b61cd08f96848979ca213e9f621095bf7d186245","observation_id":"3487eaec-755d-4e8f-ad1a-2a570c952516","resolution":{"observed_at":"2026-08-05T10:25:13.086747Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.814355Z","title":null,"venue":null,"work_id":"911122ec-fb5b-41c7-894f-5ab1b9941319","year":2011},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.855986Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:4aa9521adf78f1aeb5bb19a345032e9765a74f3d499db94a18d8c4cf43897b85","observation_id":"01dca368-dfb2-4ed2-beb2-927a94b98f55","resolution":{"observed_at":"2026-08-05T10:25:13.821866Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-53291","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.061403Z","title":"In: A Strategic Perspective on Controllers in Reactive Synthesis 15 Lahiri, S.K., Wang, C","venue":null,"work_id":"e5b12492-0c88-4587-8c4c-ddaf97b93916","year":2020},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.869383Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:ea36c3f30ea4c306a495f6ba19a50936a61e764ea3b98586362745d1f58a3bbd","observation_id":"b8ecf27d-3d95-4770-9848-f2487c4d0409","resolution":{"observed_at":"2026-08-05T10:25:13.067031Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.790734Z","title":"In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R","venue":null,"work_id":"4278a3a3-2239-4573-a498-bb5ec37e8951","year":2018},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.876131Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:e74cfd8bd7510d4a133bdfeab0d506c85dcc7c5b59ea36122d288485ceea8991","observation_id":"44ba5134-6440-44bc-b89a-58d6ee50a03b","resolution":{"observed_at":"2026-08-05T10:25:13.800276Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-20(3:19)2024","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.034018Z","title":null,"venue":null,"work_id":"1aad9c93-8764-48b6-a4ef-a028b1799df4","year":2024},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.886671Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:73f81f5c0690a410053f327bfc5e96d55813ea57e7da7bfc0f5b7a90b5926463","observation_id":"cf452d87-866e-4171-9125-90ec3fb1d4a4","resolution":{"observed_at":"2026-08-05T10:25:13.044044Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.898641Z","title":"(eds.) 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.898641Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:9a197d29df280d84dd0f332604e39a33dcbe9f12d2a65e07ec24dd782a81f929","observation_id":"26fb3506-72fb-4eb8-94c7-029bb160cb10","resolution":{"observed_at":"2026-08-05T10:25:11.898641Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.912386Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.912386Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:51a2d09961ec7800a8dc06b8cafa7eaf34a2613a711ce5b9bcfe83cbafd009e8","observation_id":"c065a4d0-9086-4c46-a9cb-cb79a962c4d3","resolution":{"observed_at":"2026-08-05T10:25:11.912386Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.771036Z","title":"Acta Informatica 55(2), 91–127 (2018)","venue":null,"work_id":"e546c5d3-098d-4f88-a694-4aa0de62d37f","year":2018},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.917531Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:0b765e06abe31440aa9e6f1b8a6093c53f34b8399adbd68ffa12eec8996f0d67","observation_id":"2864a425-5d76-43c8-885e-f17fa18f7d54","resolution":{"observed_at":"2026-08-05T10:25:13.778677Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.922723Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.922723Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:3e7a5fc981efb565cf0c9d87331d35135fd518814f18054d98df9bb186c5a8cb","observation_id":"c905e85a-4f09-4a98-9ce1-ea50eb570a42","resolution":{"observed_at":"2026-08-05T10:25:11.922723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.935712Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.935712Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:aff31dcedd4281ad703f8abab4e9a74295d4e762d45b3564e8e20d499b0d6b09","observation_id":"18082bdb-744c-4eef-933f-d103e51b9727","resolution":{"observed_at":"2026-08-05T10:25:11.935712Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-21690-4_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T11:08:14.039542Z","title":"In: Kroening, D., Pasareanu, C.S","venue":"Lecture notes in computer science","work_id":"1c0ee48c-765d-4b2e-afc1-d6c6144148a6","year":2015},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.942213Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:b5c700f60799e294cb2de87604432e59f4583033d252766f8a282e9f438367b8","observation_id":"b295db85-ced9-4a4e-a1c3-6358bf9cda18","resolution":{"observed_at":"2026-08-05T10:25:12.940198Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-89960-2_21","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.748201Z","title":"In: Beyer, D., Huisman, M","venue":null,"work_id":"71f068fd-063f-4b55-b343-b8651c0763cc","year":2018},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.947288Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:a65c674d2d03f00731971ed34588730486a57fde4fb13f7906043025e2efcd3b","observation_id":"60366cdc-39a0-421e-82c7-43dc97dbdf4f","resolution":{"observed_at":"2026-08-05T10:25:13.754028Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.961628Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.961628Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:e88168a4a59fe94ebfc90f84eca19f28e0c3a6b013f7c53d6abb66fd97e57f44","observation_id":"5bcdd5b3-3898-4ced-9dff-e11298886f85","resolution":{"observed_at":"2026-08-05T10:25:11.961628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.968245Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.968245Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:245c790ee0cb5d5635c005007020897fa527a8a812beab50b9b7a6002a1cba98","observation_id":"920a8504-a5b9-471d-8607-93b8c3df62b1","resolution":{"observed_at":"2026-08-05T10:25:11.968245Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.226.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.892208Z","title":"In: Cantone, D., Delzanno, G","venue":null,"work_id":"1a7f3b34-ba0d-47c0-a534-6a42acc644ef","year":2016},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.974478Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:62ff68145108161e4ae1141f193f7b1ab5613a6da268b71a7d037947ef4dfe77","observation_id":"17bce90a-0ec0-4bf4-968e-286c41145512","resolution":{"observed_at":"2026-08-05T10:25:12.897696Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.981191Z","title":"In: Fokkink, W.J., van Glabbeek, R","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.981191Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:f1a5ae96c4cb8918692d71a0f8c0ad630016c85b673bf1daf0a2c91beb5d021c","observation_id":"c74f24c0-cfd5-49d6-a15c-bda336fa67cd","resolution":{"observed_at":"2026-08-05T10:25:11.981191Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:11.987629Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:11.987629Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:58240687b98c6a5fbada3c63ca642b89ac56d1b390351c47385121d7747594e0","observation_id":"d539d49e-18b6-4393-9288-794301e5576d","resolution":{"observed_at":"2026-08-05T10:25:11.987629Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.728302Z","title":"In: Bessiere, C","venue":null,"work_id":"23ec3851-496b-4da9-9be5-ea7776535df8","year":2020},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.000107Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:36b22e8fdba8143e84ea533dcf8332a1444b96b2096a68754ff850ef85f0a5cd","observation_id":"1182d34c-0a58-461b-a510-44a95c3f5ddc","resolution":{"observed_at":"2026-08-05T10:25:13.735157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.013674Z","title":"In: Sobocinski, P., Lago, U.D., Esparza, J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.013674Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:a7e42ef7d559c83d47f1a38005bfc6ab9c90e2f3f7fc83cad2b0ce6990d354be","observation_id":"53e2219b-8a8f-4f44-8afd-dd1f5b237cde","resolution":{"observed_at":"2026-08-05T10:25:12.013674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.018894Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.018894Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:504fc69c8d139dd0289d875c18aa36eccafba9186be59e74ca8c1210d5ddbbe6","observation_id":"74b6594b-f068-40ea-b9c9-edb0f4ce1503","resolution":{"observed_at":"2026-08-05T10:25:12.018894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.13480","last_updated":"2020-04-25T06:40:31Z","snapshot_observed_at":"2026-07-06T09:15:51.648333Z","submitted_at":"2020-04-25T06:40:31Z","title":"L-Vector: Neural Label Embedding for Domain Adaptation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.13480","snapshot_observed_at":"2026-08-05T10:25:12.029214Z","title":"In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.029214Z"},"links":{"cited_paper":"/paper/2004.13480","citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:f8868d8ca2637f137e600f431b7ce124a4bed2d0f1b7f8e4870e4a4457c84055","observation_id":"afc23350-807c-4a6d-9f89-cabd41636274","resolution":{"observed_at":"2026-08-05T10:25:12.029214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2015.06.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.806998Z","title":null,"venue":null,"work_id":"f3618942-9738-406e-87f9-f0123d5ebef3","year":2015},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.037807Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:0005f8a2084d99f5b51248d894701ad8a825c1c1c737c987b41a78b12b001a0a","observation_id":"bef71c0f-bfea-4947-9c7a-f7e2be50ab33","resolution":{"observed_at":"2026-08-05T10:25:12.813986Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.047482Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.047482Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:83c3afa619e318708520d8771db476bd89ce7bf9642d733abd6f770dbfbc1d06","observation_id":"cb06ea53-782b-4766-948e-3dbac5e4d443","resolution":{"observed_at":"2026-08-05T10:25:12.047482Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.700154Z","title":"In: Egerstedt, M., Mishra, B","venue":null,"work_id":"4463adc2-5f9f-452a-8189-65f6d3c8ccba","year":2008},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.060037Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:b84cbf101fde797fd7a515ec00ca0652a75c2c4a881c1040fe96bf0a1fd16b37","observation_id":"92b71ae9-08c7-4ba4-bff7-f26129873e58","resolution":{"observed_at":"2026-08-05T10:25:13.710906Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.071937Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.071937Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:9936f4d26716c6f67e6fe26c80651e12d6784267d94a3f9e2ffd7ee8601462f9","observation_id":"f0880611-07de-4fff-beb1-ec56838c1064","resolution":{"observed_at":"2026-08-05T10:25:12.071937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.677397Z","title":"Summaries of the Summer Institute of Symbolic Logic1, 3–50 (1957)","venue":null,"work_id":"788c0cf1-432b-470f-8b6d-51655e55440d","year":1957},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.079757Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:6bac97f0b2278cc3222c4fd49d4a72aec5fb8d93ffae81ffd59213ec51f9ec90","observation_id":"ddf88ed1-b502-4c42-bd7c-a2dfea67305a","resolution":{"observed_at":"2026-08-05T10:25:13.683630Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.25.7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.743761Z","title":"(eds.) Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010","venue":null,"work_id":"030e2197-bc50-41cb-b25a-6df8089464a9","year":2010},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.089653Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:46623ef2ffd1e2f54d20d8df3611acc7ea2a01b1cc24c0a226be408633aee3a0","observation_id":"b0f6fc5a-50b2-487d-ae37-2d4bfec6a801","resolution":{"observed_at":"2026-08-05T10:25:12.749195Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.104849Z","title":"In: Biere, A., Parker, D","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.104849Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:51955b6865ac2fcff7e1a1c8c9331bc7bb99bfc7b82d680287c82886a7782865","observation_id":"fa63c323-5ad6-4ae9-8192-72435542d098","resolution":{"observed_at":"2026-08-05T10:25:12.104849Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.651069Z","title":null,"venue":null,"work_id":"2e3d350e-3ef9-4f7b-90a4-b999ace72658","year":2014},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.117784Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:e993c006d567bef1996a4522d57d6382e9a614b4ca53fcaa87ef9229c90239ab","observation_id":"fe568a1d-6ac3-4dd0-9cfe-c5b4b24edba0","resolution":{"observed_at":"2026-08-05T10:25:13.658462Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.625168Z","title":null,"venue":null,"work_id":"b395433e-fa1a-4023-96c2-940c42d12f4c","year":2023},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.123253Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:35b519c93179ce4d3f0f22c2e8f8b1ee2711087ab32a750b24306937b2e7f1e4","observation_id":"cb3cb7db-1c5b-498d-b78e-d5ca4d40b08c","resolution":{"observed_at":"2026-08-05T10:25:13.631337Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.596140Z","title":"In: Abadi, M., de Alfaro, L","venue":null,"work_id":"7f4aadd1-8a5e-41f6-b83a-c1c0dd601ee6","year":2005},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.129722Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:34e7bec58d08d78704f08de22820ffa532e2bb0a35518d3141544bd752b0eca7","observation_id":"b687609f-5f96-463d-ad1d-44b5bd645210","resolution":{"observed_at":"2026-08-05T10:25:13.601552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.141198Z","title":"(eds.): Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], Lecture Notes in Computer Science, vol","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.141198Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:dfa05a991d275fc920e92b0b60a2c6f7d8eeef9d2769f5ed2573c85f4dc24a31","observation_id":"26beb52b-49e6-4350-ad78-686070bcbaa7","resolution":{"observed_at":"2026-08-05T10:25:12.141198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.147069Z","title":"In: Albers, S., Marion, J.Y","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.147069Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:d6a025e9007687cf78989da53eac7e939be3002f9f0bc9203aaf6f4786ade2a5","observation_id":"da6cf4fd-7100-49ef-b011-4ac495f2161f","resolution":{"observed_at":"2026-08-05T10:25:12.147069Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.574027Z","title":null,"venue":null,"work_id":"d1c3b6df-fa81-40db-b05e-530aa415feb7","year":2008},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.153042Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:5571c2ecce2b58feb4e5bff7168401fa3322bb3afb086118df3fd0974d02b763","observation_id":"c25377dd-5a2e-4167-bfd5-87c06f040df1","resolution":{"observed_at":"2026-08-05T10:25:13.581938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.218.3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.631654Z","title":"In:Lomuscio,A.,Vardi,M.Y","venue":null,"work_id":"baf2424b-47a1-49af-baf4-7f6324a019bb","year":2016},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.158134Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:e4ac878b183d761c459ee283804fb5ce53fe5be180666f9254913f025491ea1b","observation_id":"b66e8bbb-fff5-4306-8d15-9d12cec27c30","resolution":{"observed_at":"2026-08-05T10:25:12.642323Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.fsttcs.2018.38","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.605162Z","title":"In: Ganguly, S., Pandya, P.K","venue":null,"work_id":"aba2427b-74f8-4b90-a8d4-a2ab31d2ac32","year":2018},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.163027Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:6e72170ea04027fa2d900b8b0dec6a2adb71970f355da2afcd93e5a566770cde","observation_id":"d2d3995d-5f4f-4038-af5d-8b2577946f25","resolution":{"observed_at":"2026-08-05T10:25:12.611644Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2024.10522","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.237500Z","title":null,"venue":null,"work_id":"2da6a0d4-a1ac-41c8-9a9d-fd5f25b6bc57","year":2024},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.168923Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:f26c553c4853934ac9ee779c100ee239d4a2632522000757ad47409b29df8639","observation_id":"f10389e1-f2a5-4a5c-af77-63ae7a3b95fb","resolution":{"observed_at":"2026-08-05T10:25:13.247458Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2502.18296","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.580407Z","title":"CoRR abs/2502.18296 (2025)","venue":null,"work_id":"a38f8372-8e36-419b-bb41-ffe58f18e286","year":2025},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.174074Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:a8842d6acc43217df5a59757bb1a1d99666d472d09e91b3b59866eee836b9843","observation_id":"f86ae397-f18c-4cb8-af78-9f3dc27df2e1","resolution":{"observed_at":"2026-08-05T10:25:12.587806Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-21(1:19)2025","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.440458Z","title":null,"venue":null,"work_id":"ccdff08d-e897-40d5-b677-9c6d1be04309","year":2025},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.179156Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:85ad2d0ef289548e54af4071cf599c3b1864359f676d4e59351bbec121d2d2dc","observation_id":"f2c33854-5dba-4703-9e77-0ac514db4ac4","resolution":{"observed_at":"2026-08-05T10:25:12.446283Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.544367Z","title":"In: Skowron, A","venue":null,"work_id":"c647b82e-c021-4470-9ca6-53ecab1ef5c6","year":1985},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.187981Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:a7848751c506fa5ac8d68ddc7a173468c42144af5b320c0549276a5890e95b3b","observation_id":"66ec7d3f-1be1-496a-b304-5da89a3d1188","resolution":{"observed_at":"2026-08-05T10:25:13.552305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:13.520194Z","title":"In: Proceedings of the European Conference on Complex Systems 2012, ECCS 2012, Brussels, Belgium, September 2-7, 2012","venue":null,"work_id":"b5183def-ee23-4a4c-aad2-82bc5adab19a","year":2012},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.193262Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:e6ab3ff62b49acfa784150c492bc679f9d6524975b6ee74807bee8d9ea6fbd43","observation_id":"b7b54145-992b-40b3-82a7-9516fea9ebd3","resolution":{"observed_at":"2026-08-05T10:25:13.528372Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10546","last_updated":"2025-07-29T12:45:59Z","snapshot_observed_at":"2026-08-05T07:01:00.392387Z","submitted_at":"2023-05-17T20:06:14Z","title":"Games on Graphs: From Logic and Automata to Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10546","snapshot_observed_at":"2026-08-05T10:25:12.202732Z","title":"In: Fijalkow, N","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.202732Z"},"links":{"cited_paper":"/paper/2305.10546","citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:dd67f43a3c8fabb1ba4ac525773b912b0497922353f359bba572e08d6fc2c6b1","observation_id":"59c2515a-81c8-4b64-84e9-6d90d82adae2","resolution":{"observed_at":"2026-08-05T10:25:12.202732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-46081-8_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.423386Z","title":"Proceedings","venue":null,"work_id":"a9920580-8d37-45a5-a9a2-1f5542e19595","year":2015},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.211604Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:de4f0c76800cb03ee6a0c15cbb16b1bfc3d22a3926db53b3fd137b1c1d493e71","observation_id":"92cb9fc7-923c-4128-bb3e-401ec2516e90","resolution":{"observed_at":"2026-08-05T10:25:12.428805Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.218250Z","title":"Formal Methods in System Design50(2-3), 207–248 (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.218250Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:4ce21316db3db96e48be0a210d5bbed46c4669b71e05187a7e0555e5c22d1f0c","observation_id":"aa81dd45-df41-4e1b-9306-cf04fbf21f34","resolution":{"observed_at":"2026-08-05T10:25:12.218250Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.11650","last_updated":"2025-01-10T09:44:48Z","snapshot_observed_at":"2026-08-02T17:48:26.205150Z","submitted_at":"2024-02-18T17:02:39Z","title":"Programmatic Reinforcement Learning: Navigating Gridworlds","version":2},"cited_work":{"arxiv_id":"2402.11650","doi":"10.48550/arxiv.2402.11650","metadata_source":"pith","pith_arxiv_id":"2402.11650","snapshot_observed_at":"2026-08-05T12:16:14.913508Z","title":"Programmatic Reinforcement Learning: Navigating Gridworlds","venue":"cs.LG","work_id":"a4405dc4-ee43-4ef7-b72b-59376d7e8015","year":2024},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.224259Z"},"links":{"cited_paper":"/paper/2402.11650","citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:9d5ac07bff3ac9f00d267fea66d992e54867f0f5b6265a8d0a2a86a86cbb4fbf","observation_id":"000734c2-b714-4fb6-95da-7dad48b86c3e","resolution":{"observed_at":"2026-08-05T10:25:12.393076Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.229605Z","title":"In: de Alfaro, L","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.229605Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:4d85140afb2640346191ae48af2d2ad3e116fbd7d22c4d21721857f237942c9d","observation_id":"f00d0e4c-da7d-429c-9397-0cf0165b3c26","resolution":{"observed_at":"2026-08-05T10:25:12.229605Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.ic.2015.03.001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.330257Z","title":null,"venue":null,"work_id":"93d2e0dd-3bb2-407a-aec3-0d2338897a63","year":2015},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.234646Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:096793d0e37ce67b6e837bfea78637563166baaa5bffcaba5024ff1cb3acc8f5","observation_id":"11dbd23a-f305-4a56-be26-5c37e6f94df7","resolution":{"observed_at":"2026-08-05T10:25:12.339734Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.240407Z","title":"Theoretical Computer Science200(1), 135–183 (1998)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.240407Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:d9578f82656644cb09afb9b09409d522f2eb0a2b7a348feb9d60d6d14c04fb72","observation_id":"c8b35321-e5e7-41e1-875d-587239f2a461","resolution":{"observed_at":"2026-08-05T10:25:12.240407Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.135822Z","title":"https://doi.org/10.1007/11539452_33","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":442,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.135822Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:ff693f8cae90964ee2d180482f173591a7139ec213475d3f791d2324ad4585bd","observation_id":"273003af-608c-4f81-b760-f827d5c22d41","resolution":{"observed_at":"2026-08-05T10:25:12.135822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2020/570","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:25:12.840293Z","title":"https://doi.org/10.24963/IJCAI.2020/570","venue":null,"work_id":"5c57bb32-cf71-4bb2-89f3-61c9287af11f","year":2020},"citing_paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","version":1},"reference_index":4127,"source":"pdf_text","source_observed_at":"2026-08-05T10:25:12.005913Z"},"links":{"citing_paper":"/paper/2509.04129"},"observation_digest":"sha256:12c001174125c6bb7108c8bff19a668afde2f0b8269c95b607bc1870c784560e","observation_id":"5cbae727-4ed6-4be6-ab78-5510efcc2f4f","resolution":{"observed_at":"2026-08-05T10:25:12.846903Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.04129","last_updated":"2025-09-04T11:54:19Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-05T10:25:10.701636Z","submitted_at":"2025-09-04T11:54:19Z","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis"},"reference_resolution":{"displayed":52,"state_counts":{"malformed_identifier":7,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":21,"verified_exact":17,"verified_fuzzy":5},"total_outbound_references":52},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2509.04129."}