{"as_of":"2026-08-16T09:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a2abd218867f334e3fb7dccb3783de8ea045c2e072f038c304c4c08b09c66744","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T15:28:58.812279Z","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-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.01094/citation-record","integrity":"/paper/1908.01094/integrity","json":"/paper/1908.01094/citation-record.json","paper":"/paper/1908.01094"},"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-14T15:29:00.654116Z","title":"NHTSA Federal Automated Vehicles Pol- icy,","venue":null,"work_id":"6493855f-7d86-4555-8d98-a622f6f37158","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.325528Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:ef698acf7cc6f95d41e7a216a655309421ba675f7e30d87b016d274fc4a738d1","observation_id":"d8081cf4-899b-4e0d-a930-06c932b7a17a","resolution":{"observed_at":"2026-08-14T15:29:00.659795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.633239Z","title":"Guidelines for safe on-road testing of sae level 3, 4, and 5 prototype automated driving systems (ADS), document j3018 201503,","venue":null,"work_id":"a5263945-b716-4d7f-906b-bf05be8c1e50","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.331131Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:a49d8e9983a60494b25a1f6c174ab91834eb1299c474515e5355acd31d30f4c2","observation_id":"2b0697c9-f55b-4421-a2cf-ca3d85f7ca97","resolution":{"observed_at":"2026-08-14T15:29:00.639086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.615761Z","title":"Key considerations in the development of driving automation systems,","venue":null,"work_id":"dbe9da5d-0501-4c28-a9db-d265e5cc12f0","year":2015},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.336387Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:a2d1b32cbb718c4e8d398371fea95e53239f719e32c6f207f550403dd5a71b28","observation_id":"4f3a5ec9-5645-43da-b54f-a6db39886753","resolution":{"observed_at":"2026-08-14T15:29:00.621384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.594625Z","title":"Euro NCAP,","venue":null,"work_id":"24776d39-6415-4f4c-aebc-f8068b4cc653","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.341103Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:1deafe15e2ee46dcf1217ea57c7e7796cf77b282c0ca7f1236ea52d1f6535fef","observation_id":"49082f42-42a5-4781-a06b-3496bed84947","resolution":{"observed_at":"2026-08-14T15:29:00.599953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.577872Z","title":"Pegasus,","venue":null,"work_id":"81e3a840-1be7-4bbb-be97-eb122235f7d3","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.346752Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:6e1890214e599c8cd79de387d5c67bf2484089e782b4792a416b33716159ddba","observation_id":"47ea5c24-740c-4168-a14e-72ed27c16a76","resolution":{"observed_at":"2026-08-14T15:29:00.582447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.557297Z","title":"Testing of advanced driver assistance towards automated driving: A survey and taxonomy on existing approaches and open questions,","venue":null,"work_id":"4ddbeae3-d6bb-4d49-8c6d-c3a87c78b338","year":2015},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.352316Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:fdc7f7ddb13fca9c15d269dd4a8f5c5db66b48e43a0e76b622b9f087e329b33a","observation_id":"d71ce514-85de-44e4-8d55-3706cd312035","resolution":{"observed_at":"2026-08-14T15:29:00.562637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.539971Z","title":"The sleepwalker framework: Verification and validation of autonomous vehicles by mixed reality lidar stimulation,","venue":null,"work_id":"f26947d5-060b-44fe-9ff8-0f9bc5ed4271","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.358615Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:eccdecdc4690f8b82c15c5b1e806223aaceec7451d103fe62f152858985278dd","observation_id":"f24c93b6-634a-4422-b55f-c14da784119a","resolution":{"observed_at":"2026-08-14T15:29:00.546497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:58.363457Z","title":"Challenges in autonomous vehicle testing and validation,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.363457Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:bb830b92ba8c194423464a591c6c87071b12779aa3859ea02a9bef8b78e0bab3","observation_id":"2ef744c5-3b5e-40d4-b875-19d181ab1f3d","resolution":{"observed_at":"2026-08-14T15:28:58.363457Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:29:00.520509Z","title":"The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462),","venue":null,"work_id":"1ad0154f-061d-4b9f-9c72-b3818bd7c764","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.367920Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:afe08cdb12554b1126b9c52f9d8510ed60fa516a6bb0130127525546aeea9fa3","observation_id":"94662b01-8849-44c9-869b-f3b77138fd4b","resolution":{"observed_at":"2026-08-14T15:29:00.527386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.497365Z","title":"The worst-time- to-collision metric for situation identification,","venue":null,"work_id":"f34d6889-913e-4505-a602-162f6e383998","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.373364Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:87814efa478cebba03104b59878ae939e51e19859d98ff3a7abfca379986f002","observation_id":"f9ba65a5-0657-45c8-8b04-ae9305b9477e","resolution":{"observed_at":"2026-08-14T15:29:00.503150Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.473277Z","title":"Are we ready for autonomous driving? the kitti vision benchmark suite,","venue":null,"work_id":"a1b51df8-a21c-4f5f-bcef-6b7c43b65ff6","year":2012},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.378189Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:7cf951eaee72d27623e0295c275d5d8a5a59fa50becd76264c96acd20b21870f","observation_id":"98b29fd5-7758-4494-8942-4bdcd616c7c0","resolution":{"observed_at":"2026-08-14T15:29:00.478468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.444485Z","title":"SqueezeDet: Unified, small, low power fully convolutional neural networks for real-time object detection for autonomous driving,","venue":null,"work_id":"83304e40-c76f-4fbe-84d6-1535590a0476","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.384444Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:1fbc3205af39ab575e07472c0679e6fdd3ca08807dba7a441a52d8599e183bed","observation_id":"784c06ff-d7a2-488a-96bf-bd0d8c5416e6","resolution":{"observed_at":"2026-08-14T15:29:00.453628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.422764Z","title":"Alvinn: An autonomous land vehicle in a neural network,","venue":null,"work_id":"d740498f-74b1-4371-b9b9-5013fd5b751d","year":1989},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.390384Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:5674c27d1383ec8d775227612eb90ce1265fea752eefd3bef3954a514cf3e82c","observation_id":"e8436c9c-dd08-498e-8fb7-25c8cf3d4299","resolution":{"observed_at":"2026-08-14T15:29:00.429028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.394525Z","title":"DeepDriving: Learning affordance for direct perception in autonomous driving,","venue":null,"work_id":"5a5ec326-644a-442b-b59d-9efc98df200f","year":2015},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.395538Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:f2e9d357b6e76c20714d52674e9256a3ff9224f381c12c40f19928df8f6a6afd","observation_id":"1ebc74b0-be7c-4363-a8c5-8f5ac67dc111","resolution":{"observed_at":"2026-08-14T15:29:00.403508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1708.03798","last_updated":"2017-08-12T17:18:05Z","snapshot_observed_at":"2026-08-14T20:41:44.821754Z","submitted_at":"2017-08-12T17:18:05Z","title":"Deep Steering: Learning End-to-End Driving Model from Spatial and Temporal Visual Cues","version":1},"cited_work":{"arxiv_id":"1708.03798","doi":null,"metadata_source":"pith","pith_arxiv_id":"1708.03798","snapshot_observed_at":"2026-08-14T15:28:58.939704Z","title":"Deep Steering: Learning End-to-End Driving Model from Spatial and Temporal Visual Cues","venue":"cs.CV","work_id":"5b62d80e-c981-498e-bdb1-e7109df40853","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.405625Z"},"links":{"cited_paper":"/paper/1708.03798","citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:1d41582d322c3a7cd927532c70fc5f4434115e97b2bc9dd06dbd5db7bbeab187","observation_id":"c5ce807f-1bc9-4666-86ff-946bc022a76e","resolution":{"observed_at":"2026-08-14T15:28:58.950174Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.375946Z","title":"Deep predictive models for collision risk assessment in autonomous driving,","venue":null,"work_id":"e4a333b8-3b1a-4ec6-ac15-c179aa2b1091","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.411701Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:c38b2b35b3f11175e3adedf1686d10a19854bab00d508dfb1843f7277a876768","observation_id":"cf9f3327-1997-4e21-a611-e19a1639f3ee","resolution":{"observed_at":"2026-08-14T15:29:00.381955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:58.420155Z","title":"Imagenet classification with deep convolutional neural networks,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.420155Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:26baa39a38e237849a6b532ba36ebd4736587560aa13e4200384a480a4b4bde1","observation_id":"d92abd50-8aba-4d82-a3a5-872fd98c37cd","resolution":{"observed_at":"2026-08-14T15:28:58.420155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:29:00.339070Z","title":"Deeptest: Automated testing of deep-neural-network-driven autonomous cars,","venue":null,"work_id":"b172d3d4-37d4-4b83-a4c8-26a45e29f0da","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.427329Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:c7bbac52fdb17613308c54280ae8f301d2841323bd9662f8b143604b7ab2cbd2","observation_id":"deb5dd66-411c-4ce2-b107-fb9b09eef097","resolution":{"observed_at":"2026-08-14T15:29:00.347004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.320836Z","title":"Practical black-box attacks against machine learning,","venue":null,"work_id":"3a3b3c16-bbd9-4099-a342-93c709fde3d9","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.434454Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:0c6763b32fca76cf7b1ac7d5b2ea25f4ffb540c99739f76bdeea977a0e69efeb","observation_id":"b4a02eb3-b4e7-4475-856a-4901fd47341a","resolution":{"observed_at":"2026-08-14T15:29:00.326543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.298241Z","title":"Feature-guided black- box safety testing of deep neural networks,","venue":null,"work_id":"ae315f03-da2f-4b63-8676-1a47ba84c421","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.439988Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:dbdd4976881604cd0e5687a34081fcdfcab6517d4b6c2dc535087d321d767c86","observation_id":"c62a3ae1-2e2d-459a-8b1b-4fbe88155174","resolution":{"observed_at":"2026-08-14T15:29:00.306490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.275433Z","title":"Software and hardware testing using combinatorial cov- ering suites,","venue":null,"work_id":"607e22ea-774d-4142-887b-a37eb72d31f1","year":2005},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.445229Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:77aa7c0bba83f3044dc8ce0767983d67e49ca09e322845169185f459ac19a95a","observation_id":"7a677f5c-9ea9-4b90-bb1c-bfa40bd4f359","resolution":{"observed_at":"2026-08-14T15:29:00.280237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.249218Z","title":"Probabilistic temporal logic falsification of cyber-physical systems,","venue":null,"work_id":"e778f5a2-ef03-4b4b-b23c-b1d0f2defb02","year":2013},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.451983Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:4f59cfb06e50a9ee623f328236c073e887b55fb4e45c689112fa01395967e0e7","observation_id":"bde21215-647b-4369-b222-3bb4147577b2","resolution":{"observed_at":"2026-08-14T15:29:00.255530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.218819Z","title":"Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components,","venue":null,"work_id":"22df6880-8ea2-4992-913a-31d7bffaedb1","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.457603Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:9460444eb81213774e049c13359fd3bca81453d74fe0999804b267b508291b2d","observation_id":"6c7e84a3-8673-4699-ae7d-1923c795be88","resolution":{"observed_at":"2026-08-14T15:29:00.228713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.185595Z","title":"S-TaLiRo: A tool for temporal logic falsification for hybrid systems,","venue":null,"work_id":"ed60003e-fede-4ec4-8bbd-dc7c72242702","year":2011},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.465785Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:2a371834d3578664b2fcf71562727ebf7f08ab1fe71a1859eb207702afb8bffd","observation_id":"bcac17ce-fa6a-49eb-a3cb-e8508f378049","resolution":{"observed_at":"2026-08-14T15:29:00.198579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.162841Z","title":"Description of light-vehicle pre-crash scenarios for safety applications based on vehicle-to-vehicle communications,","venue":null,"work_id":"a3d71cd7-d6b6-420b-98ce-3c24a510db3a","year":2013},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.473730Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:178c287e86a182d7e44e17dc1319ea4fc6e2e717cc2f3ebf017f9f7675637c74","observation_id":"516511d1-cfb5-4418-b473-87fdaef25493","resolution":{"observed_at":"2026-08-14T15:29:00.170070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.134183Z","title":"TrafficNet: An open naturalistic driving scenario library,","venue":null,"work_id":"7a076680-d020-4be2-83da-70bf9cc6fba6","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.478200Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:46fab27cabb368abb62b21b644fe21f29fff7edaf8adeab55b1c67b98b706e70","observation_id":"a22b3300-4072-4eed-9e67-f3b48d1b1bbd","resolution":{"observed_at":"2026-08-14T15:29:00.145085Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.117362Z","title":"Accelerated evaluation of automated vehicles safety in lane-change scenarios based on importance sampling techniques,","venue":null,"work_id":"50e220c8-e2a5-42f8-b53d-49cb7ba0f38d","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.485752Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:e83ee0c399b079cc1b647b1ccf62d5e4428a51389b684061dc688549792f5864","observation_id":"3fefffd4-2985-4913-b909-eee58c83bd93","resolution":{"observed_at":"2026-08-14T15:29:00.123725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.090960Z","title":"Adaptive cruise control: Hybrid, distributed, and now formally verified,","venue":null,"work_id":"48a1b7f4-5741-4418-bbb9-7c45897cc301","year":2011},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.491529Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:e39036cd8e372ead42a47094e0a75de745ce1f88f3d1a72c874d3d23df5e89e4","observation_id":"25b25700-18e5-4a8b-bb70-8bab645005a4","resolution":{"observed_at":"2026-08-14T15:29:00.099678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.071924Z","title":"Safety verification of autonomous vehicles for coordinated evasive maneuvers,","venue":null,"work_id":"dde3cf74-ee0e-4f48-8264-4a9771b73ce3","year":2010},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.496397Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:2ac5ffc2d2dbea52e830a53f98adfb1cf0dfe74bfd7f5ef2e53ce3e45d5f0d1c","observation_id":"b479a695-3781-4750-9a70-3c394452d809","resolution":{"observed_at":"2026-08-14T15:29:00.078886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.028158Z","title":"Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles,","venue":null,"work_id":"a97bc1e3-a7e7-404b-b08d-bfbdfdb67dde","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.504062Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:4edbf85e57cbb0a069bdb379415aff65062ae49ee85387dbb23bac1fd6aa025e","observation_id":"44e5d234-56a5-495d-b72b-440e414c8f32","resolution":{"observed_at":"2026-08-14T15:29:00.044294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:29:00.002242Z","title":"Rapidly-exploring random trees for testing automated vehicles,","venue":null,"work_id":"18ac8250-277b-4540-a704-4ae2fd5d3d98","year":2019},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.508961Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:c99d2f0c87da10f1a36bfbddde41701a1f9248c8877f07044ff469459ad7689f","observation_id":"82a0357a-b44c-4228-8136-470cfc9e140d","resolution":{"observed_at":"2026-08-14T15:29:00.010591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.982254Z","title":"Automatic generation of safety-critical test scenarios for collision avoidance of road vehicles,","venue":null,"work_id":"ad4ac372-31c0-4044-b272-ecb8eeb5536a","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.514759Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:fd36a2599d38f1841669202adfad3f5ddb2b5568a6f60de450b16b8571dcf612","observation_id":"4ac93e5b-2f17-4b27-8875-a7cb10835bdd","resolution":{"observed_at":"2026-08-14T15:28:59.989016Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.960218Z","title":"Functional gradient descent optimization for automatic test case generation for vehicle controllers,","venue":null,"work_id":"3cbde8f3-ac2b-421f-9346-c89cefc9df44","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.523806Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:1e713a2e57c6eb4ad096c80780c38e8e55d25390cf8ef3197fa78e344c3195ff","observation_id":"fc4ae2c2-2181-46e0-9d90-6cf77d1b7c4e","resolution":{"observed_at":"2026-08-14T15:28:59.966225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.939356Z","title":"Computer-aided design for safe autonomous vehicles,","venue":null,"work_id":"7f8c3328-fed1-40d6-b89a-743e4ad2f6ff","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.531128Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:c3a481101c454b58a224cc6a2a48f0fa9bca215cf8d310846fa0999862cbfe70","observation_id":"207405a3-cb44-4a3c-a2df-8b7e5b4cb80f","resolution":{"observed_at":"2026-08-14T15:28:59.946266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.914165Z","title":"Testing autonomous vehicle software in the virtual prototyping environment,","venue":null,"work_id":"1cb1f78f-2a9e-47be-b44e-9e305e2ec613","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.536674Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:ef0a00bbec0f0e68d922b86281e4ced40497cd7776cceba010a8270d73844bb4","observation_id":"39784725-c798-4572-8266-f00b3a13e2ca","resolution":{"observed_at":"2026-08-14T15:28:59.924743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.893506Z","title":"The SMT-based automatic road network generation in vehicle simulation environment,","venue":null,"work_id":"76874130-61e5-40a9-9d42-400032ec6b32","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.542202Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:011cb75f57d5e8aa70ca18d9521a7d851bbb71983eec1a8e14056382baa66fbc","observation_id":"ba7bf11b-9a6a-463c-bef4-37c7f1b386c7","resolution":{"observed_at":"2026-08-14T15:28:59.898839Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.868189Z","title":"Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features,","venue":null,"work_id":"c8ff8034-6a69-412a-8c97-5ac038443935","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.549115Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:b77a3ce785362d47f2acb92d704e7e0ec7fe88e8c80918bcf70b7b7e8686c15f","observation_id":"58389354-b550-4fe3-9609-29a8e27c1165","resolution":{"observed_at":"2026-08-14T15:28:59.876531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.840401Z","title":"APEX: Autonomous vehicle plan verification and execution,","venue":null,"work_id":"e7c222df-e32d-4169-9b96-d6be8b6bdd5b","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.565882Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:2a61619cebf97adc2c197f1fe52da54a684f091aff5ed77c8a7b3aefd065790d","observation_id":"2a0c742a-aa66-4b2a-8d8e-61fe77be923a","resolution":{"observed_at":"2026-08-14T15:28:59.850000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.815242Z","title":"A committee of neural networks for traffic sign classification,","venue":null,"work_id":"63025a3c-a2b5-408d-ae6d-a8d6ef5915c7","year":2011},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.571549Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:9199eafd13c4003d7c4d7826be930f77ff83ff56e70db58d17e47b8b6b9d05ef","observation_id":"9965c9a8-4ba6-44de-ac61-d27735edbfc8","resolution":{"observed_at":"2026-08-14T15:28:59.823795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.780492Z","title":"Traffic light recognition in varying illumination using deep learning and saliency map,","venue":null,"work_id":"d2138ff2-e5dc-42ce-81ed-f34ef5ed6be0","year":2014},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.575732Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:e28d2926ddcd05314f40a43a1fac97af5659b5cb408139963ef8e8bb2fa06dd7","observation_id":"56e994f2-fe66-4a0d-a957-6a086cff858d","resolution":{"observed_at":"2026-08-14T15:28:59.792661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.751502Z","title":"Pedestrian detection with a large-field-of-view deep network,","venue":null,"work_id":"23f19fd0-4985-4bbb-81c9-70be19220ed3","year":2015},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.581055Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:df24b107a82bf0e9fec2d4eba7ab07627992443d762ba6da4b976dc0cd6f2918","observation_id":"04edbc37-7e38-4f24-ba4e-21fd85222b7f","resolution":{"observed_at":"2026-08-14T15:28:59.757813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.731342Z","title":"Learning and verification of feedback control systems using feedforward neural net- works,","venue":null,"work_id":"18ea9374-70c3-478d-84c8-3a6d2a54b9dc","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.586931Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:786ce653773331bf29eca1f3c606ae860cab2a0776d8b5248c460865e7270eba","observation_id":"6994c7ab-14c9-4e92-b07b-71f1661b97a3","resolution":{"observed_at":"2026-08-14T15:28:59.737608Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.706459Z","title":"Compositional falsication of cyber-physical systems with machine learning components,","venue":null,"work_id":"dd000e5e-a12d-4c83-8b7e-ea4a594f3d9d","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.592016Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:40c597a7c4b0b3ccbcd7ab82c29c0bd8290bf9d68ac4365935c0b64dcd3d9023","observation_id":"033a8420-34c5-4d74-8e3a-1f503f73c874","resolution":{"observed_at":"2026-08-14T15:28:59.715754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.672294Z","title":"Semantic adversarial deep learning,","venue":null,"work_id":"237fcc4e-c5ff-4733-ac26-ce8051b3d837","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.596816Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:1be82366217df840f3968b9cdac1c6a25d7dde9e3e3d9bf9bee79cf0d88ec056","observation_id":"35c8cc1a-9eb3-42a9-bd83-eb7c31bc0121","resolution":{"observed_at":"2026-08-14T15:28:59.680064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.649733Z","title":"Safe at any speed: A simulation-based test harness for autonomous vehicles,","venue":null,"work_id":"4305c1d8-5785-4daf-aade-45af7a4b73b4","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.603936Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:dfb6fed2738073517dace544c6816dcdf952d10a5cfbbba070073089a64c209b","observation_id":"cc9df121-a5ab-4e9f-ab60-651f75a19e5e","resolution":{"observed_at":"2026-08-14T15:28:59.657646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:58.610011Z","title":"Alur, Principles of Cyber-Physical Systems","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.610011Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:03fa4b00d4606f7fee6b5a7852c6aa91d0b506e9b723a3578ccd2fe2720f03ec","observation_id":"b534a0a4-2aa4-4960-9825-8a180929f3b1","resolution":{"observed_at":"2026-08-14T15:28:58.610011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:59.593990Z","title":"Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems,","venue":null,"work_id":"760186e0-8341-4b73-81a6-7687db78de31","year":2014},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.614703Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:acbe2fdc0660c1c228f852d6d0a0fe936d78e941540b819b7c6670ed16875114","observation_id":"5a88041c-73ae-4a8a-988d-09a7252d420d","resolution":{"observed_at":"2026-08-14T15:28:59.615535Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.562095Z","title":"Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications,","venue":null,"work_id":"2e95b500-041c-4252-9036-d385ed969f30","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.619595Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:e8b9dd4dbb699d4aee48da93988b210e518f7b4fa19b858e7f9f19dbfb8f44a5","observation_id":"dfb20c58-219d-466f-83b4-570ddfbd4b7d","resolution":{"observed_at":"2026-08-14T15:28:59.573894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.541895Z","title":"Robustness of temporal logic spec- ifications for continuous-time signals,","venue":null,"work_id":"f3801ca4-8f5d-45b3-9d50-d21158d9f945","year":2009},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.626273Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:ff12c1cddc8ac636590c2d84c692bed7cccfe4752dc49154ffd70fb6ba2229ca","observation_id":"9b395f98-552b-4630-b12e-06b08d301674","resolution":{"observed_at":"2026-08-14T15:28:59.548066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:58.639483Z","title":"Boyd and L","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.639483Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:17fb6e8e8c1f244c8631fb3cff45a05e066aa9bbd622360de901984a0e8c1dbe","observation_id":"2ed3541e-01e3-411b-9ee1-0ed382aa3be7","resolution":{"observed_at":"2026-08-14T15:28:58.639483Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:59.480740Z","title":"What’s decidable about hybrid automata?","venue":null,"work_id":"108f7bb2-e6fa-442b-b8b4-3c052f4b43fa","year":1998},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.647958Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:f29b5699d61a2b656e33bfc110ef11aabdaa8b1a3ef920d6b2ecbc63a76613eb","observation_id":"5c3c750c-24a0-46c5-a96d-ba73a0283f12","resolution":{"observed_at":"2026-08-14T15:28:59.489837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.454933Z","title":"Towards formal specification visualization for testing and monitoring of cyber-physical systems,","venue":null,"work_id":"87efa81b-65cc-4c0a-b429-66b510ea5f69","year":2014},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.656975Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:7816a57b0a89330840f24290a4ca065ba63c5a3ef2a2672210d4c676560b0b0e","observation_id":"4019d591-8f15-4025-9fa1-6a22756729a9","resolution":{"observed_at":"2026-08-14T15:28:59.464883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.426945Z","title":"Simulation- based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques,","venue":null,"work_id":"10862104-8570-49d2-985c-032faa0963fe","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.662905Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:9b502fac15001c55a510ed123b43938a65f0c03237af5375cd9f7fbadbcad1db","observation_id":"03079786-2cde-4553-a923-aa34cf48fca1","resolution":{"observed_at":"2026-08-14T15:28:59.436613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.399529Z","title":null,"venue":null,"work_id":"e4492d56-5d4a-435f-b686-c3ce64a5b4b1","year":2013},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.670693Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:c52fdbb5911ce44a7859931b3701e4e19e17f6ed3ba183e28a75b12d7b381429","observation_id":"afb200e6-90a4-4a99-ab4e-a310f757654f","resolution":{"observed_at":"2026-08-14T15:28:59.407812Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1708.06374","last_updated":"2018-10-27T09:10:37Z","snapshot_observed_at":"2026-08-14T20:40:10.021267Z","submitted_at":"2017-08-21T18:22:19Z","title":"On a Formal Model of Safe and Scalable Self-driving Cars","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.06374","snapshot_observed_at":"2026-08-14T15:28:58.684077Z","title":"On a formal model of safe and scalable self-driving cars,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.684077Z"},"links":{"cited_paper":"/paper/1708.06374","citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:bf9fce07d5f308520e64cd375fe95dbca6f5ab9a451161c55d4ae4dcbd822e03","observation_id":"2047037d-b54a-4431-97f2-119790e73603","resolution":{"observed_at":"2026-08-14T15:28:58.684077Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:59.366684Z","title":"Comparison and evaluation of advanced motion models for vehicle tracking,","venue":null,"work_id":"f2ac927b-d9cc-4362-af78-2ebdf3e41a27","year":2008},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.690990Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:3fd7f6e2273bbe832c4851cf006e3b48a147f53fad7df71485f2fa4c2b23f8e2","observation_id":"21d367e5-53c1-4f25-8a8c-700d6f14fd39","resolution":{"observed_at":"2026-08-14T15:28:59.372734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.346852Z","title":"Advanced surrogate target development for evaluating pre-collision systems,","venue":null,"work_id":"ab2568d7-3b76-4729-b005-3906b841408b","year":2013},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.697549Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:2864ede1dc3ba9b03d4685cc69023b51dfc75ac536ad17dd1dfa8c063acafc80","observation_id":"ecef8e55-242e-4951-972e-1ffd03d80a3f","resolution":{"observed_at":"2026-08-14T15:28:59.353015Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.329355Z","title":"Model based vehicle detection and tracking for autonomous urban driving,","venue":null,"work_id":"85ca27df-3d6f-4a37-8374-56882aea3f64","year":2009},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.704444Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:2128d4261e7f23d7d503bc57fd167e21f0ac89f37cd9f196f497341a09c7cbbb","observation_id":"fee94fa6-7c96-440a-899f-6078e88f2062","resolution":{"observed_at":"2026-08-14T15:28:59.335377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.294239Z","title":"Evidence based evaluation method for grid-based environmental representation,","venue":null,"work_id":"033bd2cb-5593-4ecc-82e4-ec14fac3a66d","year":2009},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.712439Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:b78260f9258c8e5c3e7ad94a5c23ab96bd48f26d36124f6c00ae15e53b4795a7","observation_id":"8e8c2fba-6787-4653-94ca-de2015554a98","resolution":{"observed_at":"2026-08-14T15:28:59.302395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.266754Z","title":"ISO Functional Safety,","venue":null,"work_id":"14039397-fa3c-4455-a85d-6d90b76a0cb9","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.718856Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:1800d615fbb9b2ad12a1cd16b5ec9b25dbed9c2e1056c747a2fe9844657063fb","observation_id":"d349a26e-8706-4b4e-b2ea-f449d2a9d18b","resolution":{"observed_at":"2026-08-14T15:28:59.274669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.236731Z","title":"In the passenger seat: Inves- tigating ride comfort measures in autonomous cars,","venue":null,"work_id":"e0bfa2c1-24a9-497f-9e06-5d67bbf114ea","year":2015},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.726653Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:02688ff67109b8ff1bf9585670482e44e6885f5cca538b4885f809a5099d713a","observation_id":"a59ad34e-20e4-42cd-84c7-d5d26bbdefd9","resolution":{"observed_at":"2026-08-14T15:28:59.243831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.208221Z","title":"Motion sickness and concerns for self-driving vehi- cles: A literature review,","venue":null,"work_id":"0c5524d6-dc95-4c87-ac35-bc9cf81dad35","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.736945Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:9c5e3b4f3c261cff42aeeb03f7a22d0918001a5f71a4ed4d91a062e876be99b6","observation_id":"67a15356-6982-488d-a2be-3a504886b30d","resolution":{"observed_at":"2026-08-14T15:28:59.214493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.167774Z","title":"An efficient algorithm for monitoring practical tptl specifications,","venue":null,"work_id":"613cc293-8774-4971-b7db-40b15cca90ab","year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.746768Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:d0edd3c8908192b1805de5abc9a6002604ad1c8a7958f482f6c838088fc624bc","observation_id":"7fbf3602-3abc-4b38-8716-454c936a3753","resolution":{"observed_at":"2026-08-14T15:28:59.187438Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.131390Z","title":"Cyberbotics ltd. Webots: professional mobile robot simula- tion,","venue":null,"work_id":"9109c692-606a-498e-aa9a-6961f666224b","year":2004},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.755456Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:82e65483eedd886611ae72e5cab68ba9b260116022c4cf581cbd4d5da99afc33","observation_id":"27a8ce03-9d2c-4bee-9499-754e100b2db2","resolution":{"observed_at":"2026-08-14T15:28:59.138342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1603.04467","last_updated":"2016-03-16T16:57:12Z","snapshot_observed_at":"2026-08-14T22:06:04.800050Z","submitted_at":"2016-03-14T20:50:20Z","title":"TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1603.04467","snapshot_observed_at":"2026-08-14T15:28:58.761962Z","title":"Tensorflow: Large- scale machine learning on heterogeneous distributed systems,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.761962Z"},"links":{"cited_paper":"/paper/1603.04467","citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:c4357a87ef2812f82ef1318ff4368b61a14bbbe7ea5e53e42a6cd68e785dce60","observation_id":"c985d7d5-5b71-45d1-b56c-d3af9be0c230","resolution":{"observed_at":"2026-08-14T15:28:58.761962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:58.770479Z","title":"A density-based algorithm for discovering clusters in large spatial databases with noise","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.770479Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:abec170c75c20f5fd896bdaa81989bdaa7ddc0787f7c76c6ada8fd797bb9ab5b","observation_id":"651e50b8-1a0c-4c76-b444-00c453e326cf","resolution":{"observed_at":"2026-08-14T15:28:58.770479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:59.091461Z","title":"Dbscan revisited, revisited: why and how you should (still) use dbscan,","venue":null,"work_id":"bd27a4ab-3b3a-401a-939d-5141a71932a5","year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.775733Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:ee130d52f62ed62a80a59c5b15c6d5986a995dc86d07133723242f9ca083bad2","observation_id":"230579c0-1000-4a21-b178-1afe37262c91","resolution":{"observed_at":"2026-08-14T15:28:59.101697Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.067640Z","title":"The unscented kalman filter for nonlinear estimation,","venue":null,"work_id":"4740a8de-e127-481a-aaa1-c8a090221877","year":2000},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.782719Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:0313174e887a0ca25448205812abddf18940da5f9e60591596921eefc4549c1e","observation_id":"815e528e-df25-4fb5-9540-7f68be663e78","resolution":{"observed_at":"2026-08-14T15:28:59.074551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.035357Z","title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems,","venue":null,"work_id":"8cf490a5-c53f-47d4-ae25-72f07121f44f","year":2010},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.795537Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:acb9d1cefb380853a4e5ea0a4e7b83a7164210203341ee204aaa427d6b9016bd","observation_id":"a33f8330-5481-42f8-a8ce-f8f9ac6eace1","resolution":{"observed_at":"2026-08-14T15:28:59.041607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T15:28:59.009913Z","title":"Counterexample-guided data augmentation,","venue":null,"work_id":"c9810b2e-5cb1-4d0f-90fc-b8620d9c37a6","year":2018},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.801725Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:301bb8d1ff3e9bf395f7ce1a3a51b7b8ddbd4751083fe9c403eb775f43f78a44","observation_id":"c6573a29-1c94-4ae5-95a3-10d9c5e64370","resolution":{"observed_at":"2026-08-14T15:28:59.019748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:58.807623Z","title":"CARLA: An open urban driving simulator,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.807623Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:1c2eb2d18af9c29ad3488cc4a136012131557c706f8d260855e4970a9b8bd1d7","observation_id":"3337a66a-3355-48cd-9ebf-43a22340fd66","resolution":{"observed_at":"2026-08-14T15:28:58.807623Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T15:28:58.965263Z","title":"VISPEC: A graphical tool for elicitation of MTL requirements,","venue":null,"work_id":"2b3b93f6-d772-4e02-ac72-445c0badf75d","year":2015},"citing_paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-14T15:28:58.812279Z"},"links":{"citing_paper":"/paper/1908.01094"},"observation_digest":"sha256:9e1f8ee0a2b1b40d83bd5e5f46d04a7cfd74e69b8f80d23456b7963da426d557","observation_id":"0472940f-9e90-46df-b849-8939efd2e476","resolution":{"observed_at":"2026-08-14T15:28:58.971111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.01094","last_updated":"2019-08-02T23:59:26Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-16T05:48:32.139360Z","submitted_at":"2019-08-02T23:59:26Z","title":"Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":1,"verified_fuzzy":62},"total_outbound_references":72},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 0 inbound Pith citation observations for arXiv:1908.01094."}