{"as_of":"2026-08-17T23:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b8cfb9488463f512af89d7dfc49b7e77d9cc121a25216249258ef90a81a556b2","coverage":[{"denominator":71,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":71,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T05:12:54.186468Z","state":"measured"},{"denominator":72,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":72,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T18:26:17.714602Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-15T18:26:17.994003Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"cited_work":{"arxiv_id":"2412.17992","doi":null,"metadata_source":"pith","pith_arxiv_id":"2412.17992","snapshot_observed_at":"2026-08-15T18:26:17.994003Z","title":"Falsification of Autonomous Systems in Rich Environments","venue":"cs.RO","work_id":"31124c91-fd3b-4a58-9396-e517b4b1c77b","year":2024},"citing_paper":{"arxiv_id":"2507.17703","last_updated":"2025-07-23T17:10:54Z","snapshot_observed_at":"2026-08-15T18:16:14.127097Z","submitted_at":"2025-07-23T17:10:54Z","title":"Piecewise Control Barrier Functions for Stochastic Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T18:26:17.714602Z"},"links":{"cited_paper":"/paper/2412.17992","citing_paper":"/paper/2507.17703"},"observation_digest":"sha256:3f5c74a64a44b532da91bbc4857a9383c9980e92b9c92a77a77f62d61a8786ee","observation_id":"14627f85-055a-44c5-a945-4ff09a900196","resolution":{"observed_at":"2026-08-15T18:26:17.999327Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.17992/citation-record","integrity":"/paper/2412.17992/integrity","json":"/paper/2412.17992/citation-record.json","paper":"/paper/2412.17992"},"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-11T05:12:55.046483Z","title":null,"venue":null,"work_id":"b8764b5e-ce57-45c5-9f8b-02855f075cc0","year":2022},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.908030Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:2d7792d393c7aa20d283a6db6f1b03f4c6cc9feca1a021062f57ecafe01adb1c","observation_id":"d750b5de-7527-4ff3-9f5d-4d3ba6843940","resolution":{"observed_at":"2026-08-11T05:12:55.051690Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:55.034215Z","title":null,"venue":null,"work_id":"5c7462cd-f8f3-4e0b-97f3-c2cebd17be54","year":2022},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.912655Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:2e7226f7c14d915f0fe7cbbed3090397f69c39ebe9280f418717e9f18399c4d1","observation_id":"4ec81bf4-9b23-4951-95d0-a7659221d4a6","resolution":{"observed_at":"2026-08-11T05:12:55.038364Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:55.019864Z","title":"IEEE Transactions on Cybernetics pp","venue":null,"work_id":"ae7aabf9-ae86-488b-81ec-68e8758973b5","year":2024},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.916385Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:d20340f82b3353ff28e39e863bf4bf04c7caebc88785344df311db934e1b8b7a","observation_id":"f1e70de4-6a23-4568-8fd3-8b8195b2a44d","resolution":{"observed_at":"2026-08-11T05:12:55.025622Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:55.007524Z","title":"Annual Review of Control, Robotics, and Autonomous Systems 1(Volume 1, 2018), 211–236 (May 2018)","venue":null,"work_id":"10d77d73-f12d-4202-9d43-19bcff50b33f","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.920560Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:cfd5c1a53db633e17535dc169edb76a04ede1d85724552cd0621fcfd6536e456","observation_id":"09346c24-4564-48a1-8804-e01cb40712a4","resolution":{"observed_at":"2026-08-11T05:12:55.011883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.992156Z","title":"In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"d8f3679d-23c8-4e71-b8ef-b7e80bd4eec3","year":2015},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.925215Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:5cb86ff80230044445eb37b30b4a7af89320949778579e32dce4ac09fb136faf","observation_id":"81a60d35-e1c7-4d62-a170-43ffeb407c0b","resolution":{"observed_at":"2026-08-11T05:12:54.997275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.981181Z","title":"In: 2021 IEEE International Conference on Robotics and Automation (ICRA)","venue":null,"work_id":"87fc2823-a612-4b14-8782-d9630825b435","year":2021},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.929850Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:5095a92a05e1d8e3739eedfd61483eebcab48d2b51e97781c060714ee805eca3","observation_id":"4b3b968c-d073-4781-88a0-3e264fce3dba","resolution":{"observed_at":"2026-08-11T05:12:54.985003Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.970025Z","title":"In: Al Faruque, M.A., Canedo, A","venue":null,"work_id":"29ca97fd-7034-43af-8093-ab565204fc31","year":2019},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.934333Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:bc1cbb71a28ec1e75407aebae0a77f83ed8d68cc006c606add942e7d1ab4d5fc","observation_id":"8084768b-f350-4ddf-b655-9bfed19668ad","resolution":{"observed_at":"2026-08-11T05:12:54.974162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.958333Z","title":"LeeVaraiya.org, second edn","venue":null,"work_id":"7cd3ed8e-9689-4907-b688-6ab12f419482","year":2011},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.938377Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:0bbb14cfd36118135239f1c92ccd425218e0e077600f4abfd97d37c43887772c","observation_id":"de5af8cf-4748-40ea-a835-64598e3e233d","resolution":{"observed_at":"2026-08-11T05:12:54.962351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.947888Z","title":"In: 18th Annual Symposium on Foundations of Computer Science (Sfcs 1977)","venue":null,"work_id":"56a6972a-b5cc-48b2-b53e-9927fb333cf0","year":1977},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.942211Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:e09d688c71517bb4c5e04d959bb3df2e131aab6d72f5f2edc9441e43b92bcf0d","observation_id":"322bc110-7d84-437f-8f46-f300f02dc875","resolution":{"observed_at":"2026-08-11T05:12:54.951612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.935803Z","title":"In: Majumdar, R., Kunčak, V","venue":null,"work_id":"afeabbd1-f40a-4235-9087-c00b345fbd9b","year":2017},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.945928Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:48f09a3d7aa85856d5285182887a1ffa4fc7f6e2331b3a86719ef3e9aceadf83","observation_id":"ef3ced16-b349-4301-9ded-339326303fc8","resolution":{"observed_at":"2026-08-11T05:12:54.940535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.923764Z","title":null,"venue":null,"work_id":"647dfdff-90a4-4d63-95f4-857877827092","year":2017},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.949446Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:941539b02ebc1d0e5fb4519f852737e4063a0f9635deeed5ff55e3c7aa2676b7","observation_id":"d4796094-dae3-4a0f-ba4b-d798951f1ba4","resolution":{"observed_at":"2026-08-11T05:12:54.927624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.911012Z","title":"In: Advances in Neural Information Processing Systems","venue":null,"work_id":"7c1fa542-f748-47da-9e83-95b77f03c666","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.953725Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:9ce609e68ee03a28c501b2203d98d10b573766ebc584b3d598321650e951435c","observation_id":"7e000d07-82c1-4dca-9988-3f736cefddc1","resolution":{"observed_at":"2026-08-11T05:12:54.915594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.898767Z","title":"In: Proceedings of the 35th International Conference on Machine Learning","venue":null,"work_id":"e57e14bf-ad0f-411d-a133-5e71120ba8d8","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.958545Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:836da870e9f5bb3f8ebe9d12847c08435ddc7c2df54d3e2a49f40fb3dd1e8803","observation_id":"24c80d9d-7ed2-4c78-960c-f015b0a2916f","resolution":{"observed_at":"2026-08-11T05:12:54.902840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.886506Z","title":"In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC)","venue":null,"work_id":"fdf58eb7-4eb8-42ae-8562-926a6ade571a","year":2017},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.962173Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:5273db758e887880de589624d7221acff29a69376a23571e5222bf25cf6ffc2b","observation_id":"641d6dca-dd06-4be8-a41e-265c5edb1a32","resolution":{"observed_at":"2026-08-11T05:12:54.890710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.875064Z","title":"IEEE Transactions on Automatic Control 50(7), 947–957 (Jul 2005)","venue":null,"work_id":"19d80434-9750-4e7e-bde6-7d49274d11f6","year":2005},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.965769Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:ff2c21c928b80d90208b6b21f5e09a05fc84e7e81be163ce2ef48dcb52d51b61","observation_id":"abf2dd41-97ce-4959-adc9-ad5b1bc9552a","resolution":{"observed_at":"2026-08-11T05:12:54.879046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.861517Z","title":"In: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)","venue":null,"work_id":"7cd3de74-4b9e-4afe-b252-7950a1caac5f","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.969527Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:9faf028a3857a9c2168447107376bd7d3b872469242d9af71386cba343acd74f","observation_id":"0e7aeeca-50d5-4697-8d0d-675ee10f1921","resolution":{"observed_at":"2026-08-11T05:12:54.866205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.848214Z","title":"In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"feba68ed-6b81-4578-9afc-7959bfd1248f","year":2019},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.973063Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:90d4a72eab9ef9826a4b39fafea37fe38158b6f01390e8dca560787fb19e8895","observation_id":"45ee2930-97f4-4e1d-84df-1a78653afae4","resolution":{"observed_at":"2026-08-11T05:12:54.852767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.836808Z","title":"ACM Trans","venue":null,"work_id":"67963dc2-daab-4716-879d-2d0bf599bd92","year":2020},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.976730Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:e8178409fd5e416cf9dd88c32b7fbb56796de0f9f7b7cc449e66cb876ea5624e","observation_id":"29c8cdd4-8b0a-4327-b4e6-fb21acf936b3","resolution":{"observed_at":"2026-08-11T05:12:54.840681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.824621Z","title":null,"venue":null,"work_id":"f361d88a-0725-4f02-84a6-7264456c9fc8","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.981316Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:656dbe628eeb74681447d4c187271ea8d95af22450b1592cf8648a3fe27c8a25","observation_id":"aba01d03-3129-43e5-aca6-645523be4174","resolution":{"observed_at":"2026-08-11T05:12:54.829364Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.813513Z","title":null,"venue":null,"work_id":"2f75a0c2-cea2-4200-b076-c6cc7106e7a3","year":1998},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.985016Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:badf332437726607e05ece7d3d8d68f654bece2da6e0795c979fed714788c993","observation_id":"19866dc0-a4fe-4868-a455-14a53278b456","resolution":{"observed_at":"2026-08-11T05:12:54.817399Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.800825Z","title":"Journal of Artificial Intelligence Research 72, 377–428 (Oct 2021)","venue":null,"work_id":"3497ba4b-fa5f-4af7-ad60-47a75a9f274e","year":2021},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.989736Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:621b21f3bb8a081f372e49b6af3a45489adb0d8bbb849419e153b97fea6a89fd","observation_id":"e5eccdb9-c79e-4dff-a600-d73e1ad14c49","resolution":{"observed_at":"2026-08-11T05:12:54.806093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.788635Z","title":"Theoretical Computer Science 410(42), 4262–4291 (Sep 2009) , Vol","venue":null,"work_id":"618214ce-de39-410f-b97c-c80a2bef4424","year":2009},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.992957Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:762eeb166afc0eb6c7e1d1af43b5f472c7e8efec9516e75dec76cc193aba57c6","observation_id":"5b43670a-97c6-49e8-9e94-f9901e415c79","resolution":{"observed_at":"2026-08-11T05:12:54.793226Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.777500Z","title":"In: Kroening, D., Păsăreanu, C.S","venue":null,"work_id":"befc7c76-f540-4d08-bf78-5f2b0ca34a67","year":2015},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:53.996669Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:08419b1795f71a3ad26f089c245cfd935c731d56056522a1d505f274a6540f6b","observation_id":"0891fbd2-cde5-42e3-891c-0aae3ccd3f7d","resolution":{"observed_at":"2026-08-11T05:12:54.781403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.766148Z","title":"Real-Time Systems 2(4), 255–299 (Nov 1990)","venue":null,"work_id":"fecf94ed-d4c2-4ab4-ae20-b222efcb5717","year":1990},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.001036Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:e00777c1aecc61431cfeec42eb08e71c962874438e57dc2637d5238c22342f72","observation_id":"8b4a1c81-48f8-4ebd-be93-2a8c77fd20ac","resolution":{"observed_at":"2026-08-11T05:12:54.770050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.756077Z","title":"In: Lakhnech, Y., Yovine, S","venue":null,"work_id":"5845c18e-4ce2-4650-93c8-086b7d27f17e","year":2004},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.004850Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:36aba88c99765a4953a650b4c773876df1470522e991fab0caaaeba5ae3885b8","observation_id":"152638e0-258f-4506-b3a1-210fff80bba1","resolution":{"observed_at":"2026-08-11T05:12:54.759603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.745270Z","title":null,"venue":null,"work_id":"823d6cb1-5ab7-41a1-933b-b9e09aa1316e","year":2022},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.008631Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:c28376557971e40516285bf8470c615ce9de3cea251298a7797070d51281c0d6","observation_id":"de8e89cf-b841-4b68-854f-0a3c7d2a1653","resolution":{"observed_at":"2026-08-11T05:12:54.748705Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.734046Z","title":"ACM Trans","venue":null,"work_id":"72ddb067-54b6-4f3b-bbd0-ba3be32b43aa","year":2017},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.012526Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:40a0b8f7c6b603a24dac625d76cb754a93b48aa0e2ce754cd54ba34e1bd75a31","observation_id":"4091545a-ff8f-42ac-ad14-44bd375eab59","resolution":{"observed_at":"2026-08-11T05:12:54.737669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.722254Z","title":"In: 2018 IEEE International Conference on Robotics and Automation (ICRA)","venue":null,"work_id":"971d8f03-e20f-4905-9a8b-50170409957d","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.016165Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:16a030c8051e8a8db912052e03a1e7617f36d556dbf341dd6ac125c6c4d95627","observation_id":"4f063e59-346d-481e-a1da-8ef692cbf9a6","resolution":{"observed_at":"2026-08-11T05:12:54.726876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.709674Z","title":"In: IEEE International Conference on Automation Science and Engineering (CASE)","venue":null,"work_id":"f15f812c-9dd4-4f02-97eb-90b5a3501cc3","year":2021},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.020224Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:243f56815d699ea9d0a02561e686de998d96f80b062a34b50b54f9ea527d8417","observation_id":"2147f1c4-1831-4b3a-b57d-73ca89cebe5a","resolution":{"observed_at":"2026-08-11T05:12:54.713875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.697962Z","title":"In: Dillig, I., Tasiran, S","venue":null,"work_id":"549f4f22-4e50-49f9-af96-7fd25cc0b74c","year":2019},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.024036Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:555c8120d74f07b26ee722cce815c1d65392aca0418395feddeb17cffc682225","observation_id":"22f2258c-e8c4-47c0-b9c5-297d92892132","resolution":{"observed_at":"2026-08-11T05:12:54.702109Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.685623Z","title":null,"venue":null,"work_id":"57edf545-2846-4aff-a936-572f79596888","year":2023},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.028332Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:9b5069140008d5618f7df4454fffc90796dd946c118e4aa52c2f7558b1a212be","observation_id":"b8c00021-bfd8-4c88-96b8-a3b154f79d02","resolution":{"observed_at":"2026-08-11T05:12:54.690286Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.673458Z","title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(8), 2393–2406 (Aug 2022)","venue":null,"work_id":"7078d0c2-76d7-42b4-a8e9-aea6dcd748c4","year":2022},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.031783Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:563bfd8f2ee34bf88a0d80ccff2a2e9a6f1d3b76c450a93c226c7ae2fc8ba438","observation_id":"19b2a8b0-ea26-4f01-b74c-a00047d409a3","resolution":{"observed_at":"2026-08-11T05:12:54.677420Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.662185Z","title":"ACM Trans","venue":null,"work_id":"d991c6bd-748a-47cb-9f65-841c9bb06990","year":2013},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.035675Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:94e92bf1883217db149bca4c0f1a7fdc065aab3fd103d7d5c5d6a89341567212","observation_id":"f9c46ba5-3ddd-4916-b4b3-1f10341616bc","resolution":{"observed_at":"2026-08-11T05:12:54.666013Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.650485Z","title":"In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","venue":null,"work_id":"e94477dc-e959-4b11-bbe1-06a9b602677a","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.039514Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:822941c8fd7c2ba2df509a66ecf2c6201f4c3a0263f1edcc8a22717d6e1fc756","observation_id":"807dbd5c-3726-4692-b186-78e2c5c15a8f","resolution":{"observed_at":"2026-08-11T05:12:54.655024Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.638919Z","title":"In: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"1ff6333a-9295-4152-9c56-14ddcfb4ec3e","year":2012},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.043360Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:1888567de9f8e4a0e24ebfcbca9e81f14880efd8c73b078af060f362e390f244","observation_id":"ce6ccd71-fbd1-45ea-83aa-9a80ab43b4b0","resolution":{"observed_at":"2026-08-11T05:12:54.642981Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.626468Z","title":"Journal of Air Transportation 24(2), 55–62 (Apr 2016)","venue":null,"work_id":"05618c32-9571-47e7-85d3-73e16a8db6bd","year":2016},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.047103Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:f0ecddddd1694e688d9860dcaf80cc31591a7458102b54023d50b3995582d496","observation_id":"4ab1703f-e138-49fe-8a9d-bd70aa8c2c34","resolution":{"observed_at":"2026-08-11T05:12:54.630540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.614955Z","title":"IEEE Control Systems Magazine 23(4), 49–57 (Aug 2003)","venue":null,"work_id":"45097f13-fce0-42a4-87e0-4b570e2c58a6","year":2003},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.050927Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:833640f4d0feca55e9394a4184cad46b5356d3ec784b6d758f5ea491f6103d93","observation_id":"ce69c079-cf99-4d26-9eb8-559fe026aabd","resolution":{"observed_at":"2026-08-11T05:12:54.619161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.602758Z","title":"In: Proceedings of IEEE International Conference on Evolutionary Computation","venue":null,"work_id":"e01c4ebd-1fa6-4065-aa40-7ffae229f05a","year":1996},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.054821Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:8e93b375e7f8e817313fc5bfa03cdbc3097c93042eae4c0288d1da8ac5033d72","observation_id":"3e23df95-580d-41cf-9f7e-1d4c242d28f4","resolution":{"observed_at":"2026-08-11T05:12:54.607294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.590564Z","title":"IEEE Transactions on Software Engineering 49(4), 1842–1859 (Apr 2023)","venue":null,"work_id":"06a9a940-625f-47f0-a250-829f2f03c3e8","year":2023},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.058441Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:035dff149a62d1e0f544f962aaab1223bff711b2a11216af5d7fdd0c8858cc4c","observation_id":"9e495f31-127c-4433-9b9e-abae8b353e11","resolution":{"observed_at":"2026-08-11T05:12:54.595249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.577634Z","title":null,"venue":null,"work_id":"b286fbdf-00aa-4ad0-aae4-98a9c4b6fb68","year":2019},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.061966Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:5f01913ad2d09140ab3384f276500a2ee9078ac1d6be9d0b76469628aeabae37","observation_id":"cf0a6db3-480c-4c0e-82ab-2583d619777c","resolution":{"observed_at":"2026-08-11T05:12:54.581861Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.565963Z","title":"Annual Review of Control, Robotics, and Autonomous Systems 7(Volume 7, 2024), 285–310 (Jul 2024)","venue":null,"work_id":"c7959338-c453-488b-91b2-7d83116f2ec7","year":2024},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.066396Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:b7ab26029cf054167895bc88c28c0b6ffb76fa03117528d065434c6fbfd9e859","observation_id":"141ef7e0-9e76-4909-8b31-b236cd77a8f1","resolution":{"observed_at":"2026-08-11T05:12:54.570085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.554604Z","title":"IEEE Access 2, 56–77 (2014)","venue":null,"work_id":"f2c503b9-d935-43f6-9631-54b5245ef5d6","year":2014},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.070234Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:22299a5c2b8e95b474ae5c2c64ce46d67b87d168d9d4a36d2a0303b34ef7f42b","observation_id":"82353c64-7f04-424f-9c57-a638e22f3d2c","resolution":{"observed_at":"2026-08-11T05:12:54.558219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.544168Z","title":"The International Journal of Robotics Research (Nov 2008)","venue":null,"work_id":"e1f17b8c-cec7-43b8-9a65-7d2201371d6a","year":2008},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.073959Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:136ca25b1a74e70f2af2f1edc3006fd1dab17a7e9f2823ce773c8b6745cebb14","observation_id":"18564009-3743-4cef-80de-bb741a76c88c","resolution":{"observed_at":"2026-08-11T05:12:54.548031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.533560Z","title":"Proceedings of the International Conference on Automated Planning and Scheduling 33, 2–6 (Jul 2023)","venue":null,"work_id":"6b9c4ceb-aa31-4dc5-aa5a-ff24ce2415c5","year":2023},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.078484Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:428aa870c1286615e206364bc7325f7f93b5fe7e6f0483a9c371ce5dd05a0729","observation_id":"59662b1f-a359-4da5-9cda-52a5f08b9e43","resolution":{"observed_at":"2026-08-11T05:12:54.537361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.521965Z","title":"Formal Methods in System Design 34(2), 157–182 (Apr 2009)","venue":null,"work_id":"aab8f9aa-fb1b-4439-a680-50cf29d06bce","year":2009},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.082809Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:49fc4fba36b8acb95320f6baee35c966de5a11a2c76ed025334425df4705c7a5","observation_id":"d27443d3-810a-42dd-9703-61b49cdb9c12","resolution":{"observed_at":"2026-08-11T05:12:54.526391Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.510372Z","title":"International Journal on Software Tools for Technology Transfer 15(4), 305–320 (Aug 2013)","venue":null,"work_id":"9be3f952-f0e0-4987-a1b8-351c561273e2","year":2013},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.086353Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:08d851eed9c7177b01427fd4ba13e6172f31c726f2089d6c8cc5938847e92fda","observation_id":"6e795486-bb36-4887-96eb-9e92fa2d09e5","resolution":{"observed_at":"2026-08-11T05:12:54.514249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.499000Z","title":"In: Erdmann, M., Overmars, M., Hsu, D., van der Stappen, F","venue":null,"work_id":"711c9de1-2608-49a5-b63d-85221037d1ef","year":2005},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.090635Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:c7eef9c235eba5514c9098b260cf2e10c24a608246d2d4d0b687d7177bce4a6a","observation_id":"4fc9d988-1076-4697-baf0-f0515e919ed2","resolution":{"observed_at":"2026-08-11T05:12:54.502594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.487834Z","title":"In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC)","venue":null,"work_id":"d41ecd51-08dd-4fa7-8b5e-b593cf6322b8","year":2019},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.095094Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:98537f92e44d76eb5530cc35f07b0854c1df5f8f4667488df05d5b7573feadc3","observation_id":"d5d501dd-18d6-4682-81cb-fdd0c1160b41","resolution":{"observed_at":"2026-08-11T05:12:54.491756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.477250Z","title":"ACM Trans","venue":null,"work_id":"9a3bdc66-f220-4016-9360-eb90d79ec56d","year":2021},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.099001Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:9b6ad5fd9eada2235d6517c7b33857b9c7a59535911c54dc9d1dc3ea5404e992","observation_id":"362b523a-dc37-4baf-943d-f4022e48435f","resolution":{"observed_at":"2026-08-11T05:12:54.481007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.466707Z","title":"IEEE Transactions on Software Engineering SE-3(2), 125–143 (Mar 1977)","venue":null,"work_id":"3634531c-b08c-4d0a-bf77-87681ab92ea3","year":1977},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.102753Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:f8dd0ca19b4756500c4b2fca3e036c61aea706d06dccc0bb4505e8cf0d8f7691","observation_id":"f4c8f5f9-e2f3-4fb9-96fb-cc792efe0b93","resolution":{"observed_at":"2026-08-11T05:12:54.470689Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.454620Z","title":"Journal of Artificial Intelligence Research 20, 61–124 (Dec 2003)","venue":null,"work_id":"62e6ca55-446e-4fc0-96ad-9984a49be612","year":2003},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.106806Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:d6bc5ac0996ea210173a9b0c93a0e6386fe23439051c02ab97edc120332e3c70","observation_id":"74b9b73c-6d01-4893-9b30-3a5a8320ba64","resolution":{"observed_at":"2026-08-11T05:12:54.459161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.443755Z","title":"In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","venue":null,"work_id":"c77abe90-d051-456b-8046-a6e0181a5608","year":2013},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.110752Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:e3b65f143a28cba25c9523da7f4a7d4785448f6bcc02285871013ba103641654","observation_id":"76ced464-9575-4993-af4d-d005ad209dfc","resolution":{"observed_at":"2026-08-11T05:12:54.447770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.432341Z","title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37(11), 2894–2905 (Nov 2018)","venue":null,"work_id":"12625ee7-c2a3-48a1-8857-f3ef291aba03","year":2018},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.114634Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:3a5cfc6aa8a58f7da79ede2318178b41db17b9ec30cb3a6d6a97e9b06eb1353f","observation_id":"f0105d80-9354-47d2-91cc-35c563eeb820","resolution":{"observed_at":"2026-08-11T05:12:54.436802Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.421407Z","title":"In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)","venue":null,"work_id":"21b9f021-dcc3-4399-9011-0cbaf6f746ca","year":2020},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.118633Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:ebf54caefbdca348ecc451d407bc13c7ba740914f0ffb34eaadf08de77954782","observation_id":"ac88062f-9036-4602-8cd1-30e4c12981bf","resolution":{"observed_at":"2026-08-11T05:12:54.425279Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.410310Z","title":"IEEE Transactions on Software Engineering 47(12), 2823–2840 (Dec 2021)","venue":null,"work_id":"3b5b5ffa-7dc4-474f-a447-43cc0235b235","year":2021},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.122567Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:1384fb40ede9151d362770e8ed3f06255dd4b693ea3d797651c10a06d75273c9","observation_id":"daa280ea-98c8-4576-973f-e29eb8d89473","resolution":{"observed_at":"2026-08-11T05:12:54.414233Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.398714Z","title":"In: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)","venue":null,"work_id":"334b74be-4291-4334-9479-90d21362fc56","year":2021},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.126608Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:c7201993154c2f2de403509aee0f47fe732a9788c5ab752a792ba3164fbf4a06","observation_id":"88a11de8-451b-4b98-bd5c-19c2e04058a7","resolution":{"observed_at":"2026-08-11T05:12:54.402437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.387675Z","title":"In: Abdulla, P.A., Leino, K.R.M","venue":null,"work_id":"daa1e449-dd7e-4884-ade0-46d02a50ecbe","year":2011},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.130557Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:ddf8e5888a618b798a938fc5a5425c56cff50d3b787589f56ba7c4539c6650cd","observation_id":"d14be47a-3948-456d-b70c-37bebddb79bd","resolution":{"observed_at":"2026-08-11T05:12:54.391402Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.375193Z","title":"In: Touili, T., Cook, B., Jackson, P","venue":null,"work_id":"8de8bb76-e599-4553-935a-2a25efebd36d","year":2010},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.134323Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:8d7fec1c9d4d2364996db2bf8f39124892af4bab8656c809e6bc8d8c19caf0ad","observation_id":"73f8c343-0ebc-45e6-ac99-ea48380fdd46","resolution":{"observed_at":"2026-08-11T05:12:54.380553Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.363955Z","title":"In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"e75b7a5d-9792-42c2-83eb-38671cbd13b8","year":2014},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.138219Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:329ffae80868e64dfcb489c50f45bcebe4e30063d70bfbd20df7a1252482b97d","observation_id":"2c2efd8b-8f01-42b5-b304-9dadc9d04d32","resolution":{"observed_at":"2026-08-11T05:12:54.367830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.352482Z","title":"SIGBED Rev","venue":null,"work_id":"10213689-0b86-4da9-98bd-a7a125cfdeae","year":2017},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.141957Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:90bb4425e9a527a4bc76b34dcf65c4ef35c825518e0e05021fa49aca5f5bc4eb","observation_id":"8eee54c4-1119-42f9-bcf8-655f7b9908af","resolution":{"observed_at":"2026-08-11T05:12:54.356567Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.341250Z","title":"In: Dillig, I., Tasiran, S","venue":null,"work_id":"1ff16968-eadd-459b-a287-a2cf417595cb","year":2019},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.146937Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:bb4ab915dcb3c88984d1aa92ac2527f2ee37bdf41d4673dabbd14d98eeb5a4c9","observation_id":"21997e6f-24d6-43a6-9b39-454dcffbc31f","resolution":{"observed_at":"2026-08-11T05:12:54.345409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.329338Z","title":"Machine Learning 112(10), 3805–3849 (Oct 2023)","venue":null,"work_id":"6295ac21-e9bb-41f6-97fb-ccd361882209","year":2023},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.150821Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:74b8a968ac4c100999266e273039c8640d1a6005811e9291ff3002b6c006b880","observation_id":"076f6f19-757e-4abe-8f93-2dd5a8f4af22","resolution":{"observed_at":"2026-08-11T05:12:54.333031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.318230Z","title":"The International Journal of Robotics Research 35(5), 528–564 (Apr 2016)","venue":null,"work_id":"d1719233-50d3-438b-9b55-064ea27d56d2","year":2016},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.154367Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:590bf223aa55c21254670192fac6f6950e36361004218ff8f86e09bc45d3dd31","observation_id":"c0bd31d2-5686-44f9-9bb3-fa58ff3a0acc","resolution":{"observed_at":"2026-08-11T05:12:54.322026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.306971Z","title":"In: Ang, M.H., Khatib, O., Siciliano, B","venue":null,"work_id":"018a0bf2-8605-4e88-9c49-d0912a294e6e","year":2020},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.157999Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:cfda9e65852b4019bd8a29a8d031b53765656d9e8ba0e96f5a62c4937ebcd936","observation_id":"db1455c4-ffdd-4bfe-ae93-6987c7391ce2","resolution":{"observed_at":"2026-08-11T05:12:54.310659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.295176Z","title":"The International Journal of Robotics Research 20(5), 378–400 (May 2001)","venue":null,"work_id":"41b800ec-9527-401e-9a96-1dbee9199117","year":2001},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.162069Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:04ce9cd6350b3b9486e59652b42925a55c648a33fd009c16c98e10f8008e71e7","observation_id":"e549d479-f40c-4723-a1ba-2878f9c7ce78","resolution":{"observed_at":"2026-08-11T05:12:54.299166Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.281326Z","title":"The International Journal of Robotics Research 21(3), 233–255 (Mar 2002)","venue":null,"work_id":"d8f7c9e7-3cc3-47c3-955b-2f9da3c746dc","year":2002},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.166398Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:599b615cf77951e1368240fc6fed718780ea54bc11f0ea5b98e8e10e808a9930","observation_id":"5541099a-e9e1-40da-bb86-5ea5386f18ea","resolution":{"observed_at":"2026-08-11T05:12:54.286748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.268451Z","title":"IEEE Transactions on Robotics 28(1), 116–131 (Feb 2012)","venue":null,"work_id":"46313b30-b8dd-4efd-92b5-6486b6454802","year":2012},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.170546Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:acabdad837d6a49ca48e9487ece168d6f1b326232e451a89537eb078c6908641","observation_id":"02fa27d7-84c1-40f2-b428-762937871b9f","resolution":{"observed_at":"2026-08-11T05:12:54.272417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.255719Z","title":"In: Software Challenges in Formal Methods for Robotics (FMR) Workshop, in Conjunction with ICRA 2024","venue":null,"work_id":"5dbd369a-7610-40c1-bbe8-10f066db22a7","year":2024},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.174195Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:ef9f9abcf34310fd136e00e8b56b971c6c46b44d5de67fad0c452135f6c7e83a","observation_id":"948052fd-167f-4dd4-8535-cef1cff0d32d","resolution":{"observed_at":"2026-08-11T05:12:54.259759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.243597Z","title":null,"venue":null,"work_id":"334a80ac-7c21-4392-b6b8-e73868e2ac54","year":2016},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.178170Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:be0710bc336f9b25e2187f2af74d6f4bc13cc9a35f4ef065abc5751177dd5690","observation_id":"84d4d03d-d47b-4155-a11c-ed9a5ee970b1","resolution":{"observed_at":"2026-08-11T05:12:54.247795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.229941Z","title":"Journal of Machine Learning Research 22(268), 1–8 (2021)","venue":null,"work_id":"8f067e41-8d9e-4773-830b-29343336f58f","year":2021},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.181817Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:1f2944dfea81e06da3186420bcc3e058c7668bcbb9d013c146531dd49b13da04","observation_id":"0d248ba2-8ebd-4bfb-9427-fcfb5929c64f","resolution":{"observed_at":"2026-08-11T05:12:54.234738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-11T05:12:54.216730Z","title":"re-root the tree,","venue":null,"work_id":"875bd772-32a5-4b4c-8e70-c197292ff852","year":2014},"citing_paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-11T05:12:54.186468Z"},"links":{"citing_paper":"/paper/2412.17992"},"observation_digest":"sha256:08d02dc6026b9ecf4da44c7787566c31c5ad8accbf4470b2bdbedc7602937432","observation_id":"e20bbd49-dba3-4c5d-9d4e-06247f6256b1","resolution":{"observed_at":"2026-08-11T05:12:54.221858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.17992","last_updated":"2024-12-23T21:26:06Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-17T18:50:06.933746Z","submitted_at":"2024-12-23T21:26:06Z","title":"Falsification of Autonomous Systems in Rich Environments"},"reference_resolution":{"displayed":71,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":62},"total_outbound_references":71},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 71 of 71 outbound references and 1 inbound Pith citation observation for arXiv:2412.17992."}