{"as_of":"2026-08-11T03:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1c4b60352b6ea945251d55dcc6ce34c724fcf9cedfa8052e7fb9c482e9b88201","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T17:51:59.727053Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2508.15535/citation-record","integrity":"/paper/2508.15535/integrity","json":"/paper/2508.15535/citation-record.json","paper":"/paper/2508.15535"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T17:51:59.964872Z","title":"Belta, B","venue":null,"work_id":"f52bf82b-b269-46b8-a9af-b13f37e77bf9","year":2017},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:58.228577Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:e5b81910fb8a56eafa39b15ccabb7fa528367e5e00a736d1a0dea63ab0f1bf74","observation_id":"aeae28c6-8162-4e7e-bedd-3929434e0e25","resolution":{"observed_at":"2026-08-05T17:51:59.966957Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.958710Z","title":"Controller synthesis made real: Reach-avoid specifications and linear dynamics,","venue":null,"work_id":"5e33c653-7226-49bc-b1fa-ed80847ef0d9","year":2018},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:58.364042Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:8a2a25f74adc342c01f2a9ff09af40bc119506cb81007261bb0a971b376e54c8","observation_id":"3b1f77b3-892a-4a83-8118-ca95d650cb61","resolution":{"observed_at":"2026-08-05T17:51:59.960833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.952712Z","title":"Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem,","venue":null,"work_id":"e12d5dda-7cec-4e00-b4a1-51dd1a921ec3","year":1951},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:58.527312Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:03a67a9801a9af4dd09ba765965456ab98172db245705be934e09052cebc4ce4","observation_id":"883a29ee-35ff-4065-a7ba-d4404827530f","resolution":{"observed_at":"2026-08-05T17:51:59.954992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.946843Z","title":"Automated verification and synthesis of stochastic hybrid systems: A survey,","venue":null,"work_id":"3c928074-0ce7-430d-b9d9-16704ea30fae","year":2022},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:58.701066Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:db5302992e30bbe95f6fb26fa6bfd85c0bc168568426995dc6c42b5bd76f1f93","observation_id":"2ee5116b-6005-474f-8c0b-f7c911113de8","resolution":{"observed_at":"2026-08-05T17:51:59.948983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.940732Z","title":"Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems,","venue":null,"work_id":"4f0bf84f-e482-42a3-82f7-b17912749181","year":2008},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:58.886292Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:1ede9f6facdabc10d29c1f64402ed81cf88a7e7a06703c194e93344c94d39c13","observation_id":"e8cc5582-e552-4786-8081-f4085941a493","resolution":{"observed_at":"2026-08-05T17:51:59.942987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.933545Z","title":"Tabuada, Verification and Control of Hybrid Systems - A Symbolic Approach","venue":null,"work_id":"0f1f3c75-8412-40ed-b310-8227f2520e71","year":2009},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.077367Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:dfceb25e34ceb0d8f71f5ed753b34c7894421f2d4b491f489689c3b3d0f0b182","observation_id":"2e0f76d5-62b1-4e6c-9998-e39ad796e5a4","resolution":{"observed_at":"2026-08-05T17:51:59.936103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.926815Z","title":"Efficient data-driven abstraction of monotone systems with disturbances,","venue":null,"work_id":"6c50b72f-8f98-4b1d-ad72-697acbf369b5","year":2021},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.190614Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:8e87877245d26604c313f799f082ec76d0b8e7eaa3d6ef9bee3b0e366d3a9260","observation_id":"bdeb6f7f-1bce-4cd2-8dd1-ec4da4d38f2f","resolution":{"observed_at":"2026-08-05T17:51:59.929181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.919998Z","title":"Data-driven abstractions for verification of linear systems,","venue":null,"work_id":"1a2bcd37-c7af-42f8-981a-d85ed6805f02","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.335582Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:5c9eca5fe67d71a4dbe098cac4bd560c58a37424b5b27a89c78e61b59f2e2c4a","observation_id":"d8f06dec-14a4-4c8c-9f43-fd0e86fbe6d0","resolution":{"observed_at":"2026-08-05T17:51:59.922231Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.913596Z","title":"A compositional dissipativity approach for data-driven safety verification of large-scale dynamical systems,","venue":null,"work_id":"e7c6acb1-1259-4c7e-bffd-ed849eb80c5f","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.474382Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:e5c63b19c4fb51976c29305824ff3fd2ec5c819d64676422f010174309786377","observation_id":"0b26a157-9be5-41c6-be6d-af98e08e8a4c","resolution":{"observed_at":"2026-08-05T17:51:59.915779Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.907435Z","title":"Data-driven abstraction-based control synthesis,","venue":null,"work_id":"def8dc96-357e-4a40-ba7e-6f1c2f027fca","year":2024},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.593534Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:7f96d8bc8d30bce2ae0085acfdb24caedee860e3503c495959dff404351ca780","observation_id":"c770fc5f-9bf7-4bde-aa26-028f312fd92d","resolution":{"observed_at":"2026-08-05T17:51:59.909745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.901294Z","title":"Learning-based symbolic abstractions for nonlinear control systems,","venue":null,"work_id":"ce8a6bab-8c6d-4c68-970b-e10ad6eb7ff6","year":2022},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.677422Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:8c992af6fdbded1f4de598820634a7fd11a7ffdfa686e3318c51a7a8cd103b35","observation_id":"8d720520-45fb-41e0-ba3e-bc01c08e430c","resolution":{"observed_at":"2026-08-05T17:51:59.903572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.894925Z","title":"Symbolic abstractions from data: A PAC learning approach,","venue":null,"work_id":"1fbad5ec-0a55-4c0c-a8fa-155926e3e01a","year":2021},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.679772Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:f32ca9c74d3ebdd52773606b10773915e13ac3ecdc83397bae70e12c5f0cfbff","observation_id":"d78509cf-c319-4442-9880-d3712c8a9f5d","resolution":{"observed_at":"2026-08-05T17:51:59.897094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.888673Z","title":"Data-driven abstractions via adaptive refinements and a Kantorovich metric,","venue":null,"work_id":"2e26c587-d0b0-44b1-ac78-61959d55d97e","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.681708Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:1a3408f30d374020be7924b7476adfe8f0e67e01dc1db30e0918560aec6c56bf","observation_id":"e191255f-50e2-4da0-88b3-343e1a5bd471","resolution":{"observed_at":"2026-08-05T17:51:59.890872Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.882272Z","title":"Data-driven abstractions with probabilistic guarantees for linear PETC systems,","venue":null,"work_id":"02cb6981-715c-4848-ac26-25e36a8d2c86","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.683687Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:ba5ff637f7032678c518a21f4172e7d1f4b8f2433b1b23557b43f5978739b032","observation_id":"096416c5-9ba8-400d-8ce5-9d02049928d4","resolution":{"observed_at":"2026-08-05T17:51:59.884415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.875631Z","title":"Data-driven abstractions via binary-tree Gaussian processes for formal verification,","venue":null,"work_id":"6ac3d996-afb9-47ec-b4f2-771ac857079d","year":2024},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.685935Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:e8fa57e4dbd45f3c5358bd4b1b71846ebbea6cee280ee06463d02025dfd132ec","observation_id":"a3910f1e-9ef7-4a47-856c-a5bb23ebcf89","resolution":{"observed_at":"2026-08-05T17:51:59.877933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.868665Z","title":"Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances,","venue":null,"work_id":"60f571c9-0d99-41ac-aafa-aca3e53f4abf","year":2024},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.687936Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:63ad5f97aea21c130652cf16058aab794a94c818d273eb42d8257abd8b893973","observation_id":"f95ddb1c-abf1-4f6e-992d-e36fee01110f","resolution":{"observed_at":"2026-08-05T17:51:59.871297Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.861880Z","title":"Strategy synthesis for partially-known switched stochastic systems,","venue":null,"work_id":"e103fe75-3433-4864-aec3-d736293279af","year":2021},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.690453Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:b814ebb7be7f07207e88164d943baac16388dd54887fddb8b557ff5fe96b7ce1","observation_id":"1ddedd89-508f-42d1-ab3b-15944cf6e102","resolution":{"observed_at":"2026-08-05T17:51:59.864403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.855429Z","title":"Robust control for dynamical systems with non-gaussian noise via formal abstractions,","venue":null,"work_id":"e6a3774c-9faf-42d6-86f7-b6aa489849e4","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.692283Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:84fc35225ebabf97475bff81a983ed7ab683f1e79c8b238ead05311c2fc23c3a","observation_id":"6951c795-8a0b-4bae-9607-870a02ed14b3","resolution":{"observed_at":"2026-08-05T17:51:59.857879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.848472Z","title":"Constructing MDP abstractions using data with formal guarantees,","venue":null,"work_id":"9c0c860d-1579-4fa7-9a2d-4847b5d46510","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.694301Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:02ef655975b6ff85c86c7ce18f96f295279fbcb4747f3797800f70d3f50cb575","observation_id":"f89b970f-620d-468f-9331-b3c7c9bf876f","resolution":{"observed_at":"2026-08-05T17:51:59.851390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.841787Z","title":"Data-driven controller synthesis via finite abstractions with formal guarantees,","venue":null,"work_id":"53a95eee-2400-4ab4-8bae-19280a7b97c4","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.696236Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:d1217ac96590ac0a19bd6013957a6dc5b0247c82a18382a062b7a8325e433cb3","observation_id":"34c60b58-49b1-4ce0-a389-6a22bf662205","resolution":{"observed_at":"2026-08-05T17:51:59.844453Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.835085Z","title":"Data-driven yet formal policy synthesis for stochastic nonlinear dynamical systems,","venue":null,"work_id":"ccd27f82-3243-4a4c-b32f-1ae6883693fe","year":2025},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.698067Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:4f450aca4735feb104c0d8c6be1baa4d680abeafa96c94e8258a468a13ceadc8","observation_id":"3951a609-0e97-40d4-908e-8a749cef1be4","resolution":{"observed_at":"2026-08-05T17:51:59.837274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.11343","last_updated":"2025-04-27T05:46:41Z","snapshot_observed_at":"2026-08-04T08:08:45.766794Z","submitted_at":"2024-12-15T23:55:55Z","title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances","version":3},"cited_work":{"arxiv_id":"2412.11343","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.11343","snapshot_observed_at":"2026-08-05T17:51:59.753434Z","title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances","venue":"eess.SY","work_id":"6b703f6a-2d31-4815-85e4-f2b01d95cc38","year":2024},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.700440Z"},"links":{"cited_paper":"/paper/2412.11343","citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:50c21b10cac93274ab2f1dd39f83bb7ac15b8c869035ddf5337b0d1120302d91","observation_id":"6c74cda7-590e-4daf-8d81-0ab9dd8d5078","resolution":{"observed_at":"2026-08-05T17:51:59.757710Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.828929Z","title":"Casella and R","venue":null,"work_id":"11de2c91-1e38-4029-94fc-66ede9da0609","year":2002},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.702949Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:df6b8c6a3a2abae0017bd666372efc5e74f25dfce876dcc37f90575e071eacac","observation_id":"d6733c68-d912-47c4-8ed1-4162a55139c0","resolution":{"observed_at":"2026-08-05T17:51:59.831025Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.822315Z","title":"Formal verification of unknown stochastic systems via non-parametric estimation,","venue":null,"work_id":"1c7b7669-46ea-4933-8646-1314d98238c7","year":2024},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.704895Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:1bdecfea86718cec90ca82a6940dacbd54a1c792c3d37531f4cd0b674c5dec0e","observation_id":"2728c4d0-e7aa-4a7f-bd9d-80487141bee4","resolution":{"observed_at":"2026-08-05T17:51:59.824983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.815794Z","title":"On the sample complexity of lipschitz constant estimation,","venue":null,"work_id":"2486f172-cfbf-4244-ad73-40ee6f51ba90","year":2023},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.707179Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:7de5b742597e796c410b9c9ad4704a4b3d528d3064b802f85b3124eb6bdee596","observation_id":"e4023d71-bcc4-4efe-8cb0-7ece3ef7de97","resolution":{"observed_at":"2026-08-05T17:51:59.817931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05510","last_updated":"2025-08-12T08:02:05Z","snapshot_observed_at":"2026-08-08T19:00:16.480591Z","submitted_at":"2025-02-08T10:04:18Z","title":"Data-Driven Certificate Synthesis","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.05510","snapshot_observed_at":"2026-08-05T17:51:59.709119Z","title":"Data-driven neural certificate synthesis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.709119Z"},"links":{"cited_paper":"/paper/2502.05510","citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:a0ebd37f8c095ac6f43f2a119945547e653e046f8b51fbd4ed20c568be4db75b","observation_id":"234f6db7-23b1-443c-a7ba-61e997fc4a73","resolution":{"observed_at":"2026-08-05T17:51:59.709119Z","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-05T17:51:59.809110Z","title":null,"venue":null,"work_id":"86d9e264-7db6-40d5-a181-218a6e1162ee","year":1978},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.711454Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:0dd7ce8ce52e9757a8fb92f49c710bc065b80710a02e8361f0a7d00014b326bd","observation_id":"63d5c05a-2e27-4335-befc-c58965c90531","resolution":{"observed_at":"2026-08-05T17:51:59.811132Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.713502Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.713502Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:355b6c5221fcc4a98dd4d432689c1334aa3056efb4ef1287e04a7b8963674e6d","observation_id":"8dbe96d3-8426-427b-9b86-a6989a0279b5","resolution":{"observed_at":"2026-08-05T17:51:59.713502Z","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-05T17:51:59.798924Z","title":"Robust dynamic programming,","venue":null,"work_id":"eb3c2b9c-97e6-4ef7-b211-115dbc5d5c12","year":2005},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.715595Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:9a646305cd4bbe46205177cf3ef5edcf5da9220d9b6a47685477951dfe2a118f","observation_id":"19ca3d59-0811-48aa-ba39-61098532eca2","resolution":{"observed_at":"2026-08-05T17:51:59.801390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.791907Z","title":"Baier and J","venue":null,"work_id":"12407001-22ae-44d0-aace-b41b9e417c74","year":2008},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.717688Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:46b2526efc1aa54e6cede22232f19a52e542ce89703ec5102ff7ee447d164f34","observation_id":"f46beb27-e3ff-483b-a8ec-574680dc4a2f","resolution":{"observed_at":"2026-08-05T17:51:59.794547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.785387Z","title":"Robust control of uncertain markov decision processes with temporal logic specifications,","venue":null,"work_id":"faa0bc7b-8460-48b9-8743-7fad9c62dcd8","year":2012},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.719448Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:538cd383973ed80e72737dba5fd362086ece4efb8e643fd0ca0739b6a068b57c","observation_id":"390fac93-5c2f-424a-b1f5-ec03b4a4e30c","resolution":{"observed_at":"2026-08-05T17:51:59.787549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.779031Z","title":"PRISM 4.0: Verification of probabilistic real-time systems,","venue":null,"work_id":"19d7ce93-a98a-4ea2-9698-0f23b7a6f597","year":2011},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.721260Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:178e6dea1d7a69f9b1177c6210fa227c78558f0fe377608cb9c28f7bb4f74619","observation_id":"6f294b9b-0015-497d-a51c-37958d202429","resolution":{"observed_at":"2026-08-05T17:51:59.781369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.772931Z","title":"A storm is coming: A modern probabilistic model checker,","venue":null,"work_id":"a10b24c4-fbf6-45fa-9dbd-0a8a3e83be11","year":2017},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.722999Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:9c938e1b2639e803d34076a2cd3e329db9415983357c22d6d2d5657812350663","observation_id":"095c2ac7-c1a0-4a65-8e49-e13c94c94975","resolution":{"observed_at":"2026-08-05T17:51:59.775042Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.766485Z","title":"Badings, Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty","venue":null,"work_id":"f48e068d-6b8c-4001-bfeb-66533ebc0363","year":2025},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.725293Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:4f48616ef255725fbd484da4f6b5ad2d3f1c3ee0dfde0738be3eebdd8251c9af","observation_id":"09ed74b1-9221-428b-a460-e931485af074","resolution":{"observed_at":"2026-08-05T17:51:59.768786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T17:51:59.727053Z","title":"The use of confidence or fiducial limits illustrated in the case of the binomial,","venue":null,"work_id":null,"year":1934},"citing_paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T17:51:59.727053Z"},"links":{"citing_paper":"/paper/2508.15535"},"observation_digest":"sha256:258dfb941fd5ae52c7c28f131367818966fd197e45d45d72f439ba339c282216","observation_id":"28249d91-041e-4665-a799-ac6371002b0a","resolution":{"observed_at":"2026-08-05T17:51:59.727053Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.15535","last_updated":"2025-08-21T13:11:28Z","latest_version":1,"primary_category":"cs.CV","snapshot_observed_at":"2026-08-10T22:10:28.038714Z","submitted_at":"2025-08-21T13:11:28Z","title":"Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":1,"verified_fuzzy":30},"total_outbound_references":35},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2508.15535."}