{"as_of":"2026-08-16T15:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:77f3d40e515d557b44758e2059ca774dbad33c20567d22fd6562625139b0ae32","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T12:55:25.796724Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"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.06353/citation-record","integrity":"/paper/1908.06353/integrity","json":"/paper/1908.06353/citation-record.json","paper":"/paper/1908.06353"},"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-14T12:55:26.493878Z","title":"Learning deep control policies for autonomous aerial vehicles with mpc-guided policy search,","venue":null,"work_id":"0af2a7b2-adb4-45f8-85cf-bda1febcd75c","year":2016},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.603974Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:0d7a980d8f561c443b58bd8e571fb47ac4762a315e25586fa88780c8207de7b5","observation_id":"4849f004-d32d-4bc1-9065-9a1dfdfe2e5d","resolution":{"observed_at":"2026-08-14T12:55:26.500158Z","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":"1702.02284","last_updated":"2017-02-08T04:33:55Z","snapshot_observed_at":"2026-08-14T21:17:29.796866Z","submitted_at":"2017-02-08T04:33:55Z","title":"Adversarial Attacks on Neural Network Policies","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1702.02284","snapshot_observed_at":"2026-08-14T12:55:25.611356Z","title":"Adversarial attacks on neural network policies,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.611356Z"},"links":{"cited_paper":"/paper/1702.02284","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:2c651f2a26d7f51a07d3a34a52eb856520f421df85a669325f0199da147a04ae","observation_id":"6320219a-ceef-4152-b8b5-a761b975fc51","resolution":{"observed_at":"2026-08-14T12:55:25.611356Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-08-15T16:41:15.505782Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-14T12:55:25.617330Z","title":"Intriguing properties of neural networks,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.617330Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:df17edb88ca7e81132a0d435562cef23223e08ba8910295e12b99261428ca642","observation_id":"7a96d343-576d-4dae-b8fa-3e7d052fc354","resolution":{"observed_at":"2026-08-14T12:55:25.617330Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1703.08603","last_updated":"2017-07-21T17:27:17Z","snapshot_observed_at":"2026-08-14T21:10:06.676058Z","submitted_at":"2017-03-24T21:26:16Z","title":"Adversarial Examples for Semantic Segmentation and Object Detection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1703.08603","snapshot_observed_at":"2026-08-14T12:55:25.622547Z","title":"Adversarial examples for semantic segmentation and object detection,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.622547Z"},"links":{"cited_paper":"/paper/1703.08603","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:0e4a73bc8e64b5cfd59e089359a0eefa3c6f9b1dd0980f4c9a2d340ea05d4ae9","observation_id":"8aca7f89-4f5c-41a8-9bda-3cf03e2b2503","resolution":{"observed_at":"2026-08-14T12:55:25.622547Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.07328","last_updated":"2017-07-23T18:26:29Z","snapshot_observed_at":"2026-08-14T20:45:52.185644Z","submitted_at":"2017-07-23T18:26:29Z","title":"Adversarial Examples for Evaluating Reading Comprehension Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.07328","snapshot_observed_at":"2026-08-14T12:55:25.628946Z","title":"Adversarial examples for evaluating reading comprehension systems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.628946Z"},"links":{"cited_paper":"/paper/1707.07328","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:27a54b92fca2e89067d55a927e1928e6fc3c7a4959b37dd7c118a3670fbfbc4b","observation_id":"593245f9-32c5-4642-8e18-51258bafb938","resolution":{"observed_at":"2026-08-14T12:55:25.628946Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.05373","last_updated":"2017-07-17T19:11:08Z","snapshot_observed_at":"2026-08-14T20:47:05.887494Z","submitted_at":"2017-07-17T19:11:08Z","title":"Houdini: Fooling Deep Structured Prediction Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.05373","snapshot_observed_at":"2026-08-14T12:55:25.634718Z","title":"Houdini: Fooling deep structured visual and speech recognition models with adversarial examples,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.634718Z"},"links":{"cited_paper":"/paper/1707.05373","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:cc0efee7019e8a9fad1fed48a746464f5063d5a7094fd98b8dcd02c1c50d13db","observation_id":"265b0622-1f78-479f-88a5-8d39b353d24f","resolution":{"observed_at":"2026-08-14T12:55:25.634718Z","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-14T12:55:26.476370Z","title":"Reluplex: An efficient smt solver for verifying deep neural networks,","venue":null,"work_id":"67f8a2c6-4e3b-497c-81a7-62a6ddf9ed32","year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.641327Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:bd0d98fefc21789a5810ebc571e1cb1d38d56c369beb7b9bffe7166329229c13","observation_id":"404dd8c7-dbba-4b17-b6d3-93a911f3f6ba","resolution":{"observed_at":"2026-08-14T12:55:26.482074Z","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-14T12:55:26.458208Z","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope,","venue":null,"work_id":"19b1959e-80f2-4a85-85d8-567ebaf47fcc","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.647081Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:536f4392be3c88316cf6e719327f463cb610ca11605e867b99f0b522a62ed3d8","observation_id":"bdc99b7b-913f-4bd3-9099-5faf5ccfa990","resolution":{"observed_at":"2026-08-14T12:55:26.464245Z","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-14T12:55:26.437468Z","title":"Towards fast computation of certified robustness for relu networks,","venue":null,"work_id":"d5d267c5-8537-424c-8611-cb6411632e4c","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.652088Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:8245f2ab415fd3349877ce5300c22a5efa07aeb8ace296bf58328e1651cda95c","observation_id":"0af63482-cda3-4c87-b98e-383532c4b288","resolution":{"observed_at":"2026-08-14T12:55:26.443436Z","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-14T12:55:26.418888Z","title":"Ai2: Safety and robustness certification of neural networks with abstract interpretation,","venue":null,"work_id":"614543eb-2028-4355-b489-67c02a2bba67","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.657056Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:77869eb299f8179a81a0f5005157e3902ebeae768e42cca130fff89c900a3568","observation_id":"d6ce9a47-42e9-4bc0-ae91-ae17182ab14e","resolution":{"observed_at":"2026-08-14T12:55:26.424968Z","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-14T12:55:26.399960Z","title":"A dual approach to scalable verification of deep networks,","venue":null,"work_id":"fb4661cc-fb05-401a-9a41-9fbf0b025aea","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.661906Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:21121bfb6be3cb97cdcad886a578587cba2153a1ce5585b192f5f04fbf4402bb","observation_id":"205b24d8-81f8-49db-8bf1-08be2d3bcb9e","resolution":{"observed_at":"2026-08-14T12:55:26.406195Z","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-14T12:55:26.384066Z","title":"Cnn-cert: An efficient framework for certifying robustness of convolutional neural networks,","venue":null,"work_id":"3a59211e-5cd1-4a50-862b-e796f6b0ef6a","year":2019},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.668775Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:6460214f84d2dc131fd003906ca35e5ccd84c908591a6719cd2f4549371d9e79","observation_id":"224d746b-afbd-495a-8542-241c0090dc11","resolution":{"observed_at":"2026-08-14T12:55:26.389043Z","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":"1902.07247","last_updated":"2021-06-21T13:15:34Z","snapshot_observed_at":"2026-08-14T17:14:11.120195Z","submitted_at":"2019-02-19T19:35:30Z","title":"Fast Neural Network Verification via Shadow Prices","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1902.07247","snapshot_observed_at":"2026-08-14T12:55:25.673952Z","title":"Fast neural network verification via shadow prices,","venue":null,"work_id":null,"year":1902},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.673952Z"},"links":{"cited_paper":"/paper/1902.07247","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:21a9c141f4e79e48c698eb51cf266f4f0ea31941dcd28bfe704bb9f3b1d387cf","observation_id":"6cfb9300-4370-49af-9de0-70b14de15d60","resolution":{"observed_at":"2026-08-14T12:55:25.673952Z","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-14T12:55:26.368153Z","title":"Optimal and autonomous control using reinforcement learning: A survey,","venue":null,"work_id":"1ea2b9b3-2fc0-4230-b4c7-2db53b13d09d","year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.679242Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:bcc4d8fcc3de8146a08cb2895339fe623085582224c9156e63be5142817e4efa","observation_id":"7acbd8e9-c45f-4bae-8782-5958e9cdc487","resolution":{"observed_at":"2026-08-14T12:55:26.373478Z","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-14T12:55:25.683947Z","title":"A comprehensive survey on safe reinforcement learning,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.683947Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:a09a857501706c07e5314cf13bffa32421e09268f0f9f82f3ccb3e478340cccd","observation_id":"ff3a29c3-62a1-4f44-ae0d-dfbe8187b6cb","resolution":{"observed_at":"2026-08-14T12:55:25.683947Z","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-14T12:55:26.341590Z","title":"A lyapunov-based ap- proach to safe reinforcement learning,","venue":null,"work_id":"a4f97fd7-3ac9-4944-9a90-7f7f3d753b51","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.688341Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:2159c562df16a94a74b28faf5421d37c39ec0782e05b5fa044e8b0ce9558ec46","observation_id":"1308b1df-2402-4140-9109-f2ed28e3fede","resolution":{"observed_at":"2026-08-14T12:55:26.347350Z","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-14T12:55:26.322414Z","title":"Safe model-based reinforcement learning with stability guarantees,","venue":null,"work_id":"4c5a3c44-a729-4695-9283-1a9906239484","year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.692969Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:ca5697e86ecdab84436c5656ba0ae8e24d84a1af0ef691229aca99a6071de95d","observation_id":"509555dd-5a16-422d-aa21-70aac59472e7","resolution":{"observed_at":"2026-08-14T12:55:26.328306Z","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":"1808.00924","last_updated":"2018-10-01T17:51:03Z","snapshot_observed_at":"2026-08-15T09:34:42.497735Z","submitted_at":"2018-08-02T17:20:04Z","title":"The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems","version":2},"cited_work":{"arxiv_id":"1808.00924","doi":null,"metadata_source":"pith","pith_arxiv_id":"1808.00924","snapshot_observed_at":"2026-08-14T12:55:25.940946Z","title":"The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems","venue":"cs.SY","work_id":"f92fab2b-8ae6-40d2-b4ef-a1a67eb7fbc3","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.697657Z"},"links":{"cited_paper":"/paper/1808.00924","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:fd7846dc8ebf7e45e7063633b862325eb2a5b79fab12b0cb1e7f666e236c7de3","observation_id":"7c04d962-96c5-4b5a-a9fe-2502c97a9adf","resolution":{"observed_at":"2026-08-14T12:55:25.946346Z","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":{"arxiv_id":"1810.11505","last_updated":"2018-10-26T18:57:35Z","snapshot_observed_at":"2026-08-14T18:08:40.844820Z","submitted_at":"2018-10-26T18:57:35Z","title":"Stability-certified reinforcement learning: A control-theoretic perspective","version":1},"cited_work":{"arxiv_id":"1810.11505","doi":null,"metadata_source":"pith","pith_arxiv_id":"1810.11505","snapshot_observed_at":"2026-08-14T12:55:25.913119Z","title":"Stability-certified reinforcement learning: A control-theoretic perspective","venue":"cs.SY","work_id":"35ef672d-f405-4d56-be8e-d56a1843a99b","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.703408Z"},"links":{"cited_paper":"/paper/1810.11505","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:20740d123905de36499000e5c6495ccb95fa4d344cf003c32f2b5e5602b725f8","observation_id":"3772c45c-6cda-4edb-ba06-8fd6095a1bb8","resolution":{"observed_at":"2026-08-14T12:55:25.921185Z","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-14T12:55:26.298215Z","title":"Control-theoretic analysis of smoothness for stability-certified reinforce- ment learning,","venue":null,"work_id":"b3922020-1a64-4a8c-a7da-22f2fb6bc0b5","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.710029Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:268deebf68f839db5da1bdf49abbbedbee13e5831f6f0332ac7b91071b1ee744","observation_id":"ebe52613-4b8f-4d69-8147-24078841046c","resolution":{"observed_at":"2026-08-14T12:55:26.307737Z","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-14T12:55:26.278900Z","title":"Verisig: verifying safety properties of hybrid systems with neural network controllers,","venue":null,"work_id":"fb5dcc18-a7cc-4d07-bce0-3ac2a7c273f6","year":2019},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.715507Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:fd3858ff1f03f02e338c1356f5af01fc384f37110e030f1718a962e277daa635","observation_id":"6aa9ae0a-6573-471f-a822-9e7b23a75aba","resolution":{"observed_at":"2026-08-14T12:55:26.285026Z","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-14T12:55:26.262585Z","title":"Obfuscated gradients give a false sense of security: Circumventing defenses to adversarial examples,","venue":null,"work_id":"e416b551-972a-4466-bda7-e41c1f827fd9","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.720606Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:2b5c11c6d7c184f41d6940d6b73eb42b11b886b5a81885f91d68aed8b9cf7629","observation_id":"5e84cab6-75f2-44af-a40e-b59e80374d9e","resolution":{"observed_at":"2026-08-14T12:55:26.267817Z","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":"1805.09944","last_updated":"2018-05-25T01:32:05Z","snapshot_observed_at":"2026-08-14T19:11:20.046063Z","submitted_at":"2018-05-25T01:32:05Z","title":"Reachability Analysis and Safety Verification for Neural Network Control Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.09944","snapshot_observed_at":"2026-08-14T12:55:25.725303Z","title":"Reachability analysis and safety verification for neural network control systems,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.725303Z"},"links":{"cited_paper":"/paper/1805.09944","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:79ffcad30e7c1f337e0d98dd9948cf1cdfe67f46a20764a1bcfa594de72f2556","observation_id":"c633bfea-d01e-48ec-ab37-cd62ff6a731c","resolution":{"observed_at":"2026-08-14T12:55:25.725303Z","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-14T12:55:26.241889Z","title":"l1-optimal feedback controllers for mimo discrete-time systems,","venue":null,"work_id":"fce667ea-60d1-4229-8b82-8879300b4645","year":1987},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.730909Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:c1d8b08fe06c73d5e705418d2e1e6ba0d999d86d2ed6d262b601838ff841ba08","observation_id":"0123b30e-a80a-46a4-a0bc-84a2745faaa4","resolution":{"observed_at":"2026-08-14T12:55:26.248696Z","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-14T12:55:26.222023Z","title":null,"venue":null,"work_id":"bf4d0212-ab84-4ac6-a9d9-40ba9e520dab","year":1996},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.736177Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:9647c899b552a0f9f31e5d194e6e6898fc9637ba53d6c1658c28734bf465de87","observation_id":"f613c87f-8307-49a9-824b-071bec571719","resolution":{"observed_at":"2026-08-14T12:55:26.227726Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:55:26.201250Z","title":null,"venue":null,"work_id":"d5d38a01-2f0b-49b1-97ef-c5062e868ef4","year":1996},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.740976Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:c83684793d968ca6b4242fa1150cc01b5e08c6716e0b5ce172d3e2c78338e1ea","observation_id":"77c3864a-c5ec-4ba6-b269-f98c3b867c2f","resolution":{"observed_at":"2026-08-14T12:55:26.207255Z","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":"1710.01688","last_updated":"2018-12-13T20:38:30Z","snapshot_observed_at":"2026-08-14T20:26:50.697812Z","submitted_at":"2017-10-04T16:46:38Z","title":"On the Sample Complexity of the Linear Quadratic Regulator","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1710.01688","snapshot_observed_at":"2026-08-14T12:55:25.745469Z","title":"On the sample complexity of the linear quadratic regulator,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.745469Z"},"links":{"cited_paper":"/paper/1710.01688","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:54580f69b80f45463a8d4449561f564470ccf762ca23d1ff82380d4ec6514448","observation_id":"b1e96dee-8f45-4e6a-a5ef-7209960022ac","resolution":{"observed_at":"2026-08-14T12:55:25.745469Z","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-14T12:55:25.750727Z","title":"A tour of reinforcement learning: The view from continuous control,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.750727Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:f9f6f22ea3a41c4d46da987abbab4f141bd9e191791022a621c68d33ef85b021","observation_id":"d45d4c69-c2e2-4287-a2e5-1b4765633e69","resolution":{"observed_at":"2026-08-14T12:55:25.750727Z","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-14T12:55:26.172537Z","title":"Performance robustness of discrete-time systems with structured uncertainty,","venue":null,"work_id":"98916129-19a6-44e2-ad47-0fa19c1f8e4d","year":1991},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.755629Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:6b0be73d4b54edff4f0d271177cd81f03352065bd7dca4cf35ae478abab86f88","observation_id":"b815089e-06a4-4567-888a-8d2d5c0b1a5a","resolution":{"observed_at":"2026-08-14T12:55:26.177714Z","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-14T12:55:26.158049Z","title":"The complex structured singular value,","venue":null,"work_id":"5c01a457-80b5-4718-a5e5-2edf0542a3c1","year":1993},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.760324Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:043905b6a48fbbe5010e2988ff6e6944547e79b2fb07dffab073d9a4676aa227","observation_id":"c461e59d-c605-486a-b16c-3327329f88e9","resolution":{"observed_at":"2026-08-14T12:55:26.162641Z","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-14T12:55:26.141616Z","title":null,"venue":null,"work_id":"f70626d7-4409-4d4d-9d5e-4d46a0a32357","year":2010},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.764977Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:cd287930bc4b8daaf11e60bdbeef054923aa43eb46f748621667709aa558a1a1","observation_id":"b83ceaaf-3568-4abd-ad8f-d4d8e48d95c6","resolution":{"observed_at":"2026-08-14T12:55:26.147315Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:55:26.123110Z","title":"Np-hardness of some linear control design problems,","venue":null,"work_id":"1e592b48-60ac-41aa-a2eb-d3a16c17bb12","year":1997},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.769559Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:049b2f85385ebc0f8f24dfb99a33ae0753c987e2c085e53e40de61ac663fbc9e","observation_id":"324dca60-679a-43d3-8740-1a57c47c3254","resolution":{"observed_at":"2026-08-14T12:55:26.128524Z","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":"1707.06347","last_updated":"2017-08-28T09:20:06Z","snapshot_observed_at":"2026-08-15T20:26:32.102285Z","submitted_at":"2017-07-20T02:32:33Z","title":"Proximal Policy Optimization Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.06347","snapshot_observed_at":"2026-08-14T12:55:25.774239Z","title":"Proximal policy optimization algorithms,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.774239Z"},"links":{"cited_paper":"/paper/1707.06347","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:1fb8f47d5bee5aa8ee3aaddb8b870537c2e888fbde31bc08ec8690c436b81954","observation_id":"7e4292c8-346f-4e6f-8787-56e0015851cb","resolution":{"observed_at":"2026-08-14T12:55:25.774239Z","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-14T12:55:26.104846Z","title":"Stable baselines","venue":null,"work_id":"7416c735-98f4-4624-ba3c-ab5dfcd15c10","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.778647Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:645af39dff592213bb3c9173485c48aecfb75ad68888542dbb14426966fa87bc","observation_id":"a820b87c-e29e-4d4b-b9f8-976df715728a","resolution":{"observed_at":"2026-08-14T12:55:26.110422Z","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-14T12:55:25.783097Z","title":"Openai gym,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.783097Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:8ac66722b0c1bce67f138259c62d6d2a05554ae6492150e98baeede00a6fa4bc","observation_id":"bd899c3b-fbc8-4462-828f-f073b445462c","resolution":{"observed_at":"2026-08-14T12:55:25.783097Z","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-14T12:55:26.077414Z","title":"Efficient neural network robustness certification with general activation functions,","venue":null,"work_id":"6cbf85fa-2903-42e7-9373-2cf8b7dcef6a","year":2018},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.787419Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:91537c756d74079b5974c886a15fb328c28dbe2e993cf3f9dda628eb58bdad5d","observation_id":"997ef204-4713-431d-ac51-5a83d6be0069","resolution":{"observed_at":"2026-08-14T12:55:26.082326Z","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":"1906.04893","last_updated":"2023-01-14T17:04:33Z","snapshot_observed_at":"2026-08-14T16:17:06.110583Z","submitted_at":"2019-06-12T02:18:19Z","title":"Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.04893","snapshot_observed_at":"2026-08-14T12:55:25.792209Z","title":"Efficient and accurate estimation of lipschitz constants for deep neural networks,","venue":null,"work_id":null,"year":1906},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.792209Z"},"links":{"cited_paper":"/paper/1906.04893","citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:197efa68c003b0ec778e3a9423f4b829a11066122a70945d8cee6d53fd91789e","observation_id":"bf1da67e-3a81-4e78-9a9a-131b4f952326","resolution":{"observed_at":"2026-08-14T12:55:25.792209Z","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-14T12:55:26.061262Z","title":null,"venue":null,"work_id":"fb239685-c631-4c0c-89d5-417963c15bbe","year":2002},"citing_paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T12:55:25.796724Z"},"links":{"citing_paper":"/paper/1908.06353"},"observation_digest":"sha256:46f44d948df188c8c228914c1bccafe1ab9955974e96541f5ea08d6b9954ba16","observation_id":"47a23273-f052-4b89-aff0-6a9056282538","resolution":{"observed_at":"2026-08-14T12:55:26.066446Z","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"}}],"paper":{"arxiv_id":"1908.06353","last_updated":"2019-08-18T00:23:21Z","latest_version":1,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-16T06:30:03.638572Z","submitted_at":"2019-08-18T00:23:21Z","title":"Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":2,"verified_fuzzy":19},"total_outbound_references":38},"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 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:1908.06353."}