{"as_of":"2026-08-16T13:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4a3cd276c73fa4785780d3d32b5cb2042caa292dc168fdc8268e61421e12da6e","coverage":[{"denominator":141,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:52:49.251206Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"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.11779/citation-record","integrity":"/paper/1908.11779/integrity","json":"/paper/1908.11779/citation-record.json","paper":"/paper/1908.11779"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:48.709795Z","title":"National Science Foundation, Cyber-physical systems (CPS), 2006","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.709795Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:e8aaf6c57b225b40a82328e545dab466135e173a9788bd96dde039727210826c","observation_id":"a8760c1c-ef3c-46bc-8de6-a6220bc914f4","resolution":{"observed_at":"2026-08-14T11:52:48.709795Z","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-14T11:52:48.715485Z","title":"COHDA: A combinatorial optimization heuristic for dis- tributed agents","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.715485Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:18eab20e6a8f409f90ec7e4521ac8c4eb3fe7badad369257078ccc6e5b02a887","observation_id":"f66de409-ad1e-48d4-a79d-cfac11f89c6f","resolution":{"observed_at":"2026-08-14T11:52:48.715485Z","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-14T11:52:48.720525Z","title":"A lightweight distributed software agent for automatic de- mand—supply calculation in smart grids","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.720525Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:52fadb741ab6b64f1446402ac2d7b6f9acd4cbbf6a19050c637193d4eb6da7f8","observation_id":"18df9866-116e-4f86-9ad4-1239a535ed98","resolution":{"observed_at":"2026-08-14T11:52:48.720525Z","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-14T11:52:48.725581Z","title":"An evolutiona ry training algorithm for artificial neural networks with dynamic offspring spread and implicit gradient inform ation","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.725581Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:e54cb614216c63f852d3f17b7f8f120aafd49f05082acefa94e4d5e7e6b9041b","observation_id":"1e593d3d-8336-4688-983c-43842f91e007","resolution":{"observed_at":"2026-08-14T11:52:48.725581Z","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-14T11:52:48.730385Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.730385Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:c0cce722f2ba0e1621a6771e302aa240492a2e064a2099dc29d8cafc29e39a66","observation_id":"368f226c-e8fe-487f-a1aa-6abba148779a","resolution":{"observed_at":"2026-08-14T11:52:48.730385Z","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-14T11:52:48.735072Z","title":"Agent-based power equilib rium in a smart grid with XBOOLE","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.735072Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:dc31d1cb7c746be5ba4e0cc91c282aceefb72cbb779ffa025a87f3c35838d2e5","observation_id":"a24fbf53-afa5-4ddb-83ca-5f659da4da81","resolution":{"observed_at":"2026-08-14T11:52:48.735072Z","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-14T11:52:48.740489Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.740489Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:adcf7e74390d7ef17aec403890c417ee68f789ccd06ddaf14c891456189cd1f4","observation_id":"b514320b-d0cc-4bf2-a1d0-1385207ff695","resolution":{"observed_at":"2026-08-14T11:52:48.740489Z","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-14T11:52:48.745629Z","title":"Perspect ives on the validation and verification of machine learning systems in the context of highly automated vehicle s","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.745629Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:84e4608cad455c40c2bccc89d66350585b86eff69fee8b09a0826afd076c1e4c","observation_id":"69ae497f-8f5c-4c55-93c4-052e750486ac","resolution":{"observed_at":"2026-08-14T11:52:48.745629Z","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-14T11:52:48.750250Z","title":"Alur, Principles of cyber-physical systems","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.750250Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:3956fab6cb511c17a7d0d15e0048ca6d55a7e9ad02b09271d35166bc36461279","observation_id":"917d5ccf-f9b8-4783-818b-fa92404cbafb","resolution":{"observed_at":"2026-08-14T11:52:48.750250Z","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-14T11:52:48.755593Z","title":"On the decidability of metr ic temporal logic","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.755593Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:60585848867be111b30159ea9fdd64c25b7964b693b9b2444eea395576cf7035","observation_id":"6fa3023f-c069-4b3d-8dc7-a238e509c2ac","resolution":{"observed_at":"2026-08-14T11:52:48.755593Z","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-14T11:52:48.760831Z","title":"Øhrstrøm and P","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.760831Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:4ddb9caab45addd6fea86078ac76a0c54232b09ecda680c0fb11d1bc7687ed04","observation_id":"a01ee0a3-3617-4790-8952-c2e27d8de6cf","resolution":{"observed_at":"2026-08-14T11:52:48.760831Z","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-14T11:52:48.765553Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.765553Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:8be56dd71828dc84d5e9a862ed205d93740d0cd354888e0fc363fe5659bba6be","observation_id":"d0f3d784-dedb-4711-ad1e-ada4e2264ddd","resolution":{"observed_at":"2026-08-14T11:52:48.765553Z","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-14T11:52:48.770187Z","title":"Specification and verific ation of concurrent systems in cesar","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.770187Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:3c4b05a79a293ae3b6243a1b253ed2c4b64bc05eed2afcffbaff30e074203733","observation_id":"cb57fc89-bf39-4205-9e7f-482cad616d51","resolution":{"observed_at":"2026-08-14T11:52:48.770187Z","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-14T11:52:48.774833Z","title":"Fairness and related properties in transition sys tems—a temporal logic to deal with fairness","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.774833Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:4aa599b6669c8e6054193788b55c2e07373834dd5ae2faaafde3f3a95567da4d","observation_id":"1434fd78-2411-46e8-ab5d-0c69d726e4bb","resolution":{"observed_at":"2026-08-14T11:52:48.774833Z","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-14T11:52:48.780146Z","title":"Breach, a toolbox for verification and parame ter synthesis of hybrid systems","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.780146Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:46d68ce2557dbf4e27135d26d4cf3a5873f91ec866bf9f0791b7088247ff089f","observation_id":"0b2728ad-9abb-41fb-b0ef-0f4b469ddf9e","resolution":{"observed_at":"2026-08-14T11:52:48.780146Z","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-14T11:52:48.785137Z","title":"S-TaLiRo: A tool for temporal logic falsi- fication for hybrid systems","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.785137Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:826af0eb07000aa43d08a4ef7f6b5ec0b26e94db1f611c8224566a076ab65dba","observation_id":"fec19c00-f18e-4765-b340-969faef65b97","resolution":{"observed_at":"2026-08-14T11:52:48.785137Z","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-14T11:52:48.790303Z","title":"C2E2: A verification tool for stateflow models","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.790303Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:64033f646e31b5f37f85fbe7e5109551f0678c771811861331d041fe7ba24c89","observation_id":"30de2b4b-8944-4d8d-bbde-5c894d0c685e","resolution":{"observed_at":"2026-08-14T11:52:48.790303Z","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-14T11:52:48.795100Z","title":"Efficient guiding strategies for testing of temporal properties of hybrid systems","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.795100Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:9413b622cea02f4e73ec5eb0bffb3ea70209a26fbdf3389659530491d113f93e","observation_id":"c583b3af-349e-49d2-9384-2fc92d2072fd","resolution":{"observed_at":"2026-08-14T11:52:48.795100Z","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-14T11:52:48.799987Z","title":"Design and synthesis of s ynchronization skeletons using branching time temporal logic","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.799987Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:36f373e45022403f512454250723f2fc0ade3e23c0e76e3e55baa7442fc9be58","observation_id":"090ea874-d98d-41c7-8470-e8a65524bb07","resolution":{"observed_at":"2026-08-14T11:52:48.799987Z","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-14T11:52:48.805210Z","title":"Frege’s logic, theorem, and foundations f or arithmetic","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.805210Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:c085480f5380e43beb0620b118fd6939bbc45e83cbf5c76ff102510c8b946778","observation_id":"f3517211-c9c3-4589-9b12-820da378f240","resolution":{"observed_at":"2026-08-14T11:52:48.805210Z","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-14T11:52:48.809974Z","title":"Frege, Die Grundlagen der Arithmetik: Eine logisch-mathematisch e Untersuchung über den Begriff der Zahl (Breslau: W","venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.809974Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:417d97bcb7c808464d248c2723ddc78b73f229c365bbd5236c556280a425d95f","observation_id":"dbaf78e7-039d-4bb9-a867-8cf276eefc3e","resolution":{"observed_at":"2026-08-14T11:52:48.809974Z","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-14T11:52:48.814758Z","title":"Wille, Gottlob Frege: Begriffsschrift, eine der arithmetischen n achgebildete F ormelsprache des reinen Denkens","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.814758Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:93512b3d399f1025f9f42bbea6ce88efe248e9d957e8397919541eb8a399e7ab","observation_id":"4fccca38-22d4-468c-a314-23e642f6914f","resolution":{"observed_at":"2026-08-14T11:52:48.814758Z","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-14T11:52:48.819614Z","title":"Russell and A","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.819614Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:b5548ebdd42e26cd6ef92a2076764c77e6ce6af10a55366a00d2c537ea693666","observation_id":"6de56005-e893-4a15-87c2-1fc7b6832b96","resolution":{"observed_at":"2026-08-14T11:52:48.819614Z","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-14T11:52:48.824395Z","title":"Skolem, “Logico-combinatorical investigations in the satisfiability or provabilitiy of mathematical proposi - tions: A simplified proof of a theorem by L","venue":null,"work_id":null,"year":1931},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.824395Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:9e2d5242be7cadc4555f906286168e598884ed7f5e58d88dc3b9563c66ecc1ea","observation_id":"a73fd6be-386d-4206-ba9c-4c6046623c79","resolution":{"observed_at":"2026-08-14T11:52:48.824395Z","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-14T11:52:48.829108Z","title":"Badesa, The birth of model theory: Löwenheim’s theorem in the frame o f the theory of relatives","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.829108Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:fb3ce8b4d4386eaf5aa5cc153dc86b4c25ef5ee71602f936b4e067af83ad8af6","observation_id":"0fbf4d75-e687-4a25-977d-b4146acbd9f5","resolution":{"observed_at":"2026-08-14T11:52:48.829108Z","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-14T11:52:48.834069Z","title":"How number theory got the best of the pentium c hip","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.834069Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:0fb22d3471893f00d62761350d56e70e119002cda87d913c6a511b57308dbd52","observation_id":"ddc919ea-72a7-458b-85dc-9d264c65f4db","resolution":{"observed_at":"2026-08-14T11:52:48.834069Z","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-14T11:52:48.838697Z","title":"Introduction to HOL: A theorem proving environment for higher order logic","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.838697Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:fc66bb2753c88eeb44bf12ef058a811393357a1c1f948a9d2c87ebdf30f1e5fb","observation_id":"299b8d0d-9a2d-4f6e-b694-6995d0b75f97","resolution":{"observed_at":"2026-08-14T11:52:48.838697Z","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-14T11:52:48.843594Z","title":"Pvs: A prototype v erification system","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.843594Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:3437a6d4f72861e99387536f25d6cb9871e02cfe30ef428b86d783388611f04b","observation_id":"99704a48-ef97-4fb0-8ea7-cf1926d6634b","resolution":{"observed_at":"2026-08-14T11:52:48.843594Z","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-14T11:52:48.848831Z","title":"Kaufmann, P","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.848831Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:e7252eddc58c73d728753e3a98862a272034f6837a7e24b651b7e6e6f0c7d578","observation_id":"18cb136e-0522-4df4-96f1-dcfcc9fc999c","resolution":{"observed_at":"2026-08-14T11:52:48.848831Z","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-14T11:52:48.857332Z","title":"Combining model checking and runtime verification for safe robotics","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.857332Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:b0cef5d7ce899a4f61cf207b50bdbddb8db909f1d14779f39dc83e4cdf920400","observation_id":"fc212eb7-6e96-4a04-b54d-80a003cad8d2","resolution":{"observed_at":"2026-08-14T11:52:48.857332Z","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-14T11:52:48.862396Z","title":"P: Safe asynchro nous event-driven programming","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.862396Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:f644ef24a054bfebc331062f7b74a1881031c55cc14405546d09d6397077b093","observation_id":"8909fe92-e7f1-4f0b-9950-9378cda17b52","resolution":{"observed_at":"2026-08-14T11:52:48.862396Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1606.08514","last_updated":"2020-07-23T17:33:59Z","snapshot_observed_at":"2026-08-14T21:50:54.589328Z","submitted_at":"2016-06-27T23:51:04Z","title":"Towards Verified Artificial Intelligence","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1606.08514","snapshot_observed_at":"2026-08-14T11:52:48.867545Z","title":"Towards V erifi ed Artificial Intelligence","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.867545Z"},"links":{"cited_paper":"/paper/1606.08514","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:5998d1ba36d20a87c47e1676b60ff23875b4317637209997a799c123b831437b","observation_id":"fc24dffa-08b9-4c82-b5ec-cc61cb41f7b2","resolution":{"observed_at":"2026-08-14T11:52:48.867545Z","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-14T11:52:48.873733Z","title":"A theory of formal synthesis via inductive learning","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.873733Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:70f1366255ecc4eff47dab3510d83eb950c8dedea3f0a79858a7c0d98ce39e8f","observation_id":"b2cf2af3-0de0-452c-96e3-b291fd8d1bcc","resolution":{"observed_at":"2026-08-14T11:52:48.873733Z","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-14T11:52:48.879388Z","title":"Language identification in the limit","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.879388Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:3a6f4445c371de5b754a9f63b9724d8932a4ca650b6b4c7c0635df341f824e75","observation_id":"a1407bd8-0fb4-4b88-afbf-05c959437185","resolution":{"observed_at":"2026-08-14T11:52:48.879388Z","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-14T11:52:48.884408Z","title":null,"venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.884408Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:663a0f970a2fe05ed218768a7aba8baf0933b4f9cdff3a32d3cfe437f793c6cc","observation_id":"daeefbec-a90a-4267-9cbd-c3959b40715c","resolution":{"observed_at":"2026-08-14T11:52:48.884408Z","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-14T11:52:48.889263Z","title":"A methodology for lisp program construc tion from examples","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.889263Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:0f8eb750695aaeb2b5ac996a7d57599644ff6d7e6023211cce192cb836eb6a09","observation_id":"8b80f6b4-b194-4f3d-aeaf-f5ed531dd8ed","resolution":{"observed_at":"2026-08-14T11:52:48.889263Z","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-14T11:52:48.895152Z","title":"Inductive inference: Theor y and methods","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.895152Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:8072d2e7692b8d53f2d64d65f67a4b14699ae5f2e57062e68e147ba08842d299","observation_id":"368cbdde-0553-4989-9a15-1e6ba5e10f97","resolution":{"observed_at":"2026-08-14T11:52:48.895152Z","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-14T11:52:48.899856Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.899856Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:087e96d733d0533e388429de1ca38211b70a15b46f94a4e1ca83a9dd78d09aa4","observation_id":"94da6d43-acc1-4565-a486-28e79e99756f","resolution":{"observed_at":"2026-08-14T11:52:48.899856Z","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-14T11:52:48.905084Z","title":"Minin g Requirements From Closed-Loop Control Models","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.905084Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:be8e9a927af7b0e808c9d3bec9fd14a660a2a391e7086d0010f4d9c5e05538e7","observation_id":"3e8167fe-e822-4c41-bcc7-bb31a7ded61d","resolution":{"observed_at":"2026-08-14T11:52:48.905084Z","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-14T11:52:48.910161Z","title":"Backpropa- gation Applied to Handwritten Zip Code Recognition","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.910161Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:26d895c6457ee245f64585a608c911da60b399649ff7ed74ed0ab9f530c714f1","observation_id":"0cdd7986-97a2-40d2-9f02-0ee8b961864c","resolution":{"observed_at":"2026-08-14T11:52:48.910161Z","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-14T11:52:48.914995Z","title":"Deep, big, simple neural nets for handwrit- ten digit recognition","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.914995Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:8846d43fe85571ec7ecd8e7cafd8e3668048d4489587a99f5c2106ac1f0f6bd7","observation_id":"6ca9f65d-4fd6-4ab0-975e-8c0930d2d880","resolution":{"observed_at":"2026-08-14T11:52:48.914995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1080/04580630600872547","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:49.594061Z","title":"Deep neural netwo rks are easily fooled: High confidence pre- dictions for unrecognizable images","venue":null,"work_id":"59ecde34-3de3-46b0-a863-2008134c2abe","year":2015},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.919726Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:d40ce7f0de5ba0ea1ccaf958398633d19dd47e3c23a2048074437e2bcb1a5b4a","observation_id":"1de6dbd1-4b85-4a0e-8422-e26186cde4a5","resolution":{"observed_at":"2026-08-14T11:52:49.600883Z","resolver_source":"doi","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":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-08-12T17:13:46.394331Z","submitted_at":"2014-12-20T01:17:12Z","title":"Explaining and Harnessing Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6572","snapshot_observed_at":"2026-08-14T11:52:48.925204Z","title":"Explainin g and harnessing adversarial examples","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.925204Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:bf0de36f359dac436e8d5f2e00a1ab7c3d6a8f008c1682d90e81d3fa93f39b71","observation_id":"7ea9e69b-dab1-492a-b517-eee4b26fc9ba","resolution":{"observed_at":"2026-08-14T11:52:48.925204Z","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-14T11:52:48.930145Z","title":"Practi- cal Black-Box Attacks against Machine Learning","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.930145Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:5df16b427d266074ce937727af6e1c44ec61bf02693eab77e322cbb40da24992","observation_id":"a8cb19aa-eef4-4433-9ec7-d88586b4f9b7","resolution":{"observed_at":"2026-08-14T11:52:48.930145Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1511.07528","last_updated":"2015-11-24T01:07:08Z","snapshot_observed_at":"2026-08-14T22:21:37.051422Z","submitted_at":"2015-11-24T01:07:08Z","title":"The Limitations of Deep Learning in Adversarial Settings","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1511.07528","snapshot_observed_at":"2026-08-14T11:52:48.940290Z","title":"The limitations of deep learning in adversarial settings","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.940290Z"},"links":{"cited_paper":"/paper/1511.07528","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:16aba72aa3d6f3464fb5754ae07ef99eac4288af3055b8b240253350de2c9760","observation_id":"d8fc5221-46a5-4e57-b84f-ebc676941ba7","resolution":{"observed_at":"2026-08-14T11:52:48.940290Z","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-14T11:52:48.945560Z","title":"ZOO: Zeroth order optimiza- tion based black-box attacks to deep neural networks withou t training substitute mod- els","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.945560Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:8a04ecfb9709ec41a36a33c9c50352ef798352cd9427e8f4c63a1a79f3f490f5","observation_id":"68a03d6b-5b8f-44eb-bfb6-362a1ce7a129","resolution":{"observed_at":"2026-08-14T11:52:48.945560Z","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-14T11:52:48.950654Z","title":"DeepXplore: Automa ted whitebox testing of deep learn- ing systems","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.950654Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:4af50e6a599d49eec339d5321b72e60dfcda0dba8f175a2a614457bec7473834","observation_id":"77633c85-b724-4e77-9761-e932d6bde707","resolution":{"observed_at":"2026-08-14T11:52:48.950654Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1708.08559","last_updated":"2018-03-20T06:10:24Z","snapshot_observed_at":"2026-08-14T20:38:20.905097Z","submitted_at":"2017-08-28T23:26:14Z","title":"DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.08559","snapshot_observed_at":"2026-08-14T11:52:48.955440Z","title":"DeepTest: Automate d testing of deep-neural-network-driven autonomous cars","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.955440Z"},"links":{"cited_paper":"/paper/1708.08559","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:ed804abbd83c6b04060ec6b9de7934543a65449210e12cacc01a6b49c8f4bfb8","observation_id":"df239e97-5fbd-4c04-a824-7f9ce7f5eedf","resolution":{"observed_at":"2026-08-14T11:52:48.955440Z","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-14T11:52:48.962759Z","title":"AI2: Safety and robust- ness certification of neural networks with abstract interpr etation","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.962759Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:e8656791c09f1607baaf9a1e695e4b0171b54694370aed6d198232f6c6c468cf","observation_id":"81d950f3-ded2-4f7c-a33d-80dd4b0365d7","resolution":{"observed_at":"2026-08-14T11:52:48.962759Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1177/1535676017742133","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:49.576785Z","title":"Sabour, N","venue":null,"work_id":"9a9fc9e4-e79f-4b1e-9e41-18730ce6b4ba","year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.967687Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:b7802073daba1245b89f6f324d881e2450214e7e5f13401c4cafb9cf08cfc698","observation_id":"08f35925-d621-4878-8758-6888aa83e3d1","resolution":{"observed_at":"2026-08-14T11:52:49.581879Z","resolver_source":"doi","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":"1712.03480","last_updated":"2017-12-10T07:50:04Z","snapshot_observed_at":"2026-08-14T20:05:12.749724Z","submitted_at":"2017-12-10T07:50:04Z","title":"Capsule Network Performance on Complex Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1712.03480","snapshot_observed_at":"2026-08-14T11:52:48.972660Z","title":"Capsule network performance on complex data","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.972660Z"},"links":{"cited_paper":"/paper/1712.03480","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:cfe88449b2ecef72ae078bfdfe2bc1e6b9e23c5f15b5aef33154a76dc759b4b8","observation_id":"6a82d1d8-9427-462f-b98e-0733ba02ca52","resolution":{"observed_at":"2026-08-14T11:52:48.972660Z","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-14T11:52:48.978460Z","title":"An optimization view on dynamic rout ing between capsules","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.978460Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:25c568be210e457299945562397db2b8daa395ca2bbe68e8c7b1b8a326fb4d38","observation_id":"0b6b5ba9-af64-449a-a4cb-9ce241cbf724","resolution":{"observed_at":"2026-08-14T11:52:48.978460Z","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-14T11:52:48.983340Z","title":"Multilayer fe edforward networks are universal approximators","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.983340Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:5fde1c247bbfa1f3aebf9d57ef0f9d90d7797918c7f00c29ed1ba1ad2d582c9f","observation_id":"0406d8d4-3810-41c0-bd70-ad12b8fdda36","resolution":{"observed_at":"2026-08-14T11:52:48.983340Z","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-14T11:52:48.988003Z","title":"Approximation by superpositions of a sigm oidal function","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.988003Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:5f0a107f4e8862de5026149e68d4461cc8b75313c6a00266a7ecceec1f651583","observation_id":"b9ea953d-4d86-4453-866b-abf60f51888d","resolution":{"observed_at":"2026-08-14T11:52:48.988003Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1703.00978","last_updated":"2018-12-16T23:05:06Z","snapshot_observed_at":"2026-08-14T21:13:48.676525Z","submitted_at":"2017-03-02T22:58:10Z","title":"Compositional Falsification of Cyber-Physical Systems with Machine Learning Components","version":3},"cited_work":{"arxiv_id":"1703.00978","doi":null,"metadata_source":"pith","pith_arxiv_id":"1703.00978","snapshot_observed_at":"2026-08-14T11:52:50.505200Z","title":"Compositional Falsification of Cyber-Physical Systems with Machine Learning Components","venue":"cs.SY","work_id":"8874e3a9-fbc0-4047-bb39-59437380e843","year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.992970Z"},"links":{"cited_paper":"/paper/1703.00978","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:f54b4a2b2a799660cb0df5f0fdf29b8d7fff54200c30eba3be223cd0e1a28a68","observation_id":"d8020ff2-785a-47b2-8f7e-e74d15cfb0d5","resolution":{"observed_at":"2026-08-14T11:52:50.511877Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:48.998160Z","title":"Über die Gleichverteilung von Zahlen mod. ein s","venue":null,"work_id":null,"year":1916},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:48.998160Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:e8dc468a588194d57afa6028c12b2fd5e3f237289817822363b835a10f659b01","observation_id":"d5a7e567-fd6d-4cba-8969-d5e3acc056f1","resolution":{"observed_at":"2026-08-14T11:52:48.998160Z","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-14T11:52:49.003508Z","title":"Pointwise ergodic theore ms via harmonic analysis","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.003508Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:08c6aa8de72fdb6b52ef38898f536c5d3255caca02ed50c07e6c81d0974a32de","observation_id":"12f74b93-f724-4c0f-a010-7a88bbb6ad16","resolution":{"observed_at":"2026-08-14T11:52:49.003508Z","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-14T11:52:49.008436Z","title":"Gray-box adversarial tes ting for control systems with machine learning compo- nents","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.008436Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:c30274c62d9305e141aaf71b0762e994d3d99c8fabc05b2f5d304eca57df042b","observation_id":"703a799c-bf53-4c18-89e9-37ffc993bdba","resolution":{"observed_at":"2026-08-14T11:52:49.008436Z","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-14T11:52:49.013497Z","title":"Functi onal gradient descent method for metric temporal logic specifications","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.013497Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:e100a039c90a29cd84a76e92c33ffabb1437a33a6d451cf0a77481d2778655d7","observation_id":"c399fb5b-b5a3-4854-a8d0-e09fd27ae8a6","resolution":{"observed_at":"2026-08-14T11:52:49.013497Z","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-14T11:52:49.018507Z","title":"Multiple shooting, cegar-based falsification for hybrid systems","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.018507Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:d45d77769f5a60db98d85e97004d83faa547244158ce1ac00225af8e3a9f7feb","observation_id":"34005948-63bc-4b74-aa95-4e72e2a28b2d","resolution":{"observed_at":"2026-08-14T11:52:49.018507Z","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-14T11:52:49.023774Z","title":"Optimal control b ased falsification of unknown systems with time delays: A gasoline engine A/F ratio control case study","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.023774Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:be0ec0932bbb0cfb90307e298fa58af133bc85b0771588a2523a4acffe0ca1af","observation_id":"29cce9a0-3f0d-4922-8a28-718571502e9b","resolution":{"observed_at":"2026-08-14T11:52:49.023774Z","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":"1991.15542","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:50.395299Z","title":"A structure by which a recur rent neural network can approximate a nonlinear dynamic system","venue":null,"work_id":"b8f70edf-2b40-45d2-8752-f8ff34a6a5c9","year":1991},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.029749Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:9360d9cccb83a58bca44c074263a66477502cc58b000e27355232e5680fe87b3","observation_id":"8e9e9c30-c468-4429-84dc-2f0acc939ff3","resolution":{"observed_at":"2026-08-14T11:52:50.403537Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-14T11:52:49.034683Z","title":"On the computational power of neural nets","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.034683Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:ca867098c5833e1873ef7c959070a0b85abf1ba08648f6f3bd163598de5bb143","observation_id":"83ffa8c8-7196-4ee7-8117-0b24dbde02f9","resolution":{"observed_at":"2026-08-14T11:52:49.034683Z","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-14T11:52:49.040958Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.040958Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:13dbec6e7385b20365857617cd317a1769156b8a33d4f168a6a32b5d198077b3","observation_id":"36f324ed-dfa8-4ec9-9aee-dd0b36d3af4f","resolution":{"observed_at":"2026-08-14T11:52:49.040958Z","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-14T11:52:49.046456Z","title":"Finding structure in time","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.046456Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:54c87db9b774010e565067c47079d408226edb010aed781ecc990710ad4f2f97","observation_id":"7be59bde-f26e-482e-8a78-8b8a6eb64ebc","resolution":{"observed_at":"2026-08-14T11:52:49.046456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1406.1078","last_updated":"2014-09-03T00:25:02Z","snapshot_observed_at":"2026-08-15T13:36:27.756066Z","submitted_at":"2014-06-03T17:47:08Z","title":"Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1406.1078","snapshot_observed_at":"2026-08-14T11:52:49.052878Z","title":"Learn- ing phrase representations using rnn encoder-decoder for s tatistical machine translation","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.052878Z"},"links":{"cited_paper":"/paper/1406.1078","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:2552426c95d03db805c09f3efafa144cae988c2b5ca01ec3f995da5858aa7519","observation_id":"f4fbf96b-db1d-413d-b7cc-c602ab685572","resolution":{"observed_at":"2026-08-14T11:52:49.052878Z","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-14T11:52:49.058780Z","title":"Long short-term mem ory","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.058780Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:c1b080e0af406f0277780ffd483cef1a51855c884ed41cdf1f525bd22d9c1cdd","observation_id":"51d82e0f-177d-4b59-bded-bf327f65f72f","resolution":{"observed_at":"2026-08-14T11:52:49.058780Z","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-14T11:52:49.064287Z","title":"Customer experience challenges: Bringing together digital, physic al and social realms","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.064287Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:7355aaba42964a9a948864b10b7f6d88fc990f496f19703ddfd1e06ecfc11898","observation_id":"d34fe580-e941-481c-80dc-4a2070a88d3c","resolution":{"observed_at":"2026-08-14T11:52:49.064287Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.5602","last_updated":"2013-12-19T16:00:08Z","snapshot_observed_at":"2026-08-14T03:19:40.736445Z","submitted_at":"2013-12-19T16:00:08Z","title":"Playing Atari with Deep Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.5602","snapshot_observed_at":"2026-08-14T11:52:49.071287Z","title":"Playing atari with deep reinforcement learning","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.071287Z"},"links":{"cited_paper":"/paper/1312.5602","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:f5378ecf3607a274c2a10f12eef7a1e0d87b2df42fb6751bf29e7d28ed97febd","observation_id":"29b18129-7f73-48a1-86e6-463e3561ae40","resolution":{"observed_at":"2026-08-14T11:52:49.071287Z","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-14T11:52:49.077943Z","title":"Hybrid computing using a neural network with dynamic exte rnal memory","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.077943Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:6e1265ca249abb77c95524cd92353f5285a37ff8f0ae4d7233193a6035c60bcb","observation_id":"ca5ae036-e35a-4606-9709-b5ab848245e8","resolution":{"observed_at":"2026-08-14T11:52:49.077943Z","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-14T11:52:49.082821Z","title":"Sim ulation-based Adversarial Test Generation for Autonomous V ehicles with Machine Learning Components","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.082821Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:a4756c3973b89546b012b303bef9e54e0f34340bde8574cb42fa002832dffc30","observation_id":"f5406e34-baa8-4ed4-8f2f-0cc91864c197","resolution":{"observed_at":"2026-08-14T11:52:49.082821Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-17910-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:49.559700Z","title":"Safe At Any Speed: A Simula tion-Based Test Harness for Autonomous","venue":null,"work_id":"abd60a98-306d-4836-8d16-1db1b31ef3b2","year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.087476Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:db95ffbadc6bee04d6db996ba14ee8bcefb7b79be718a1a06f344937ed85b87a","observation_id":"a5b65fc0-b03c-4fbf-8a51-feb9134342dd","resolution":{"observed_at":"2026-08-14T11:52:49.565470Z","resolver_source":"doi","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:49.092976Z","title":"A simulation study system atization","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.092976Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:a3fdf893d6fc0cd8b8a25f24791c050093c809c84a63cb6f61b9cc258f78d0e2","observation_id":"d4378022-b0ee-4751-a64c-755e93667853","resolution":{"observed_at":"2026-08-14T11:52:49.092976Z","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-14T11:52:49.097712Z","title":"Simulation projects: Building the right conceptual model","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.097712Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:05cf1a606f3cd760cb84eee1f42ef82bd50377072e8e0907c952b5efa24f91c5","observation_id":"2de011ea-bab4-4144-9cd6-b5bbf56198d4","resolution":{"observed_at":"2026-08-14T11:52:49.097712Z","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-14T11:52:49.104517Z","title":"Robinson, Simulation — the practice of model development and use","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.104517Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:4ae4916ce724b20ed872ccb9a858cd4f0937765655651ce8f52ed0e2ddebb32d","observation_id":"046af82f-9d0d-494f-86bd-d9b086d0bddd","resolution":{"observed_at":"2026-08-14T11:52:49.104517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1702.00686","last_updated":"2017-02-01T11:43:13Z","snapshot_observed_at":"2026-08-14T21:18:31.025166Z","submitted_at":"2017-02-01T11:43:13Z","title":"Co-simulation: State of the art","version":1},"cited_work":{"arxiv_id":"1702.00686","doi":null,"metadata_source":"pith","pith_arxiv_id":"1702.00686","snapshot_observed_at":"2026-08-14T11:52:50.216418Z","title":"Co-simulation: State of the art","venue":"cs.SY","work_id":"8132e5ac-6334-43de-9269-256f16d34c17","year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.109274Z"},"links":{"cited_paper":"/paper/1702.00686","citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:91e033950e6abd7cbeed23937dd4f003868d31090698bd310a8d7bee60d61d5c","observation_id":"3d47b82e-57d8-4f07-ad07-81adfeb2ab1e","resolution":{"observed_at":"2026-08-14T11:52:50.221770Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:49.114920Z","title":"On conce ptual structuration and coupling methods of co- simulation frameworks in cyber-physical energy system val idation","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.114920Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:121e2390fd3481313bf1ff13312394e36d76e42c467c819a9be0c4a3a9d18ccc","observation_id":"24476c2f-3ba9-4a60-baf4-a42441d1e13c","resolution":{"observed_at":"2026-08-14T11:52:49.114920Z","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-14T11:52:49.120501Z","title":"Cosimulation of intelligent power sys- tems: Fundamentals, software architecture, numerics, and coupling","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.120501Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:7273dd801aaa3f17402f96d888cfe3b38655f79bf679a6db87498e13336dad30","observation_id":"c654f864-fd33-49fa-a13a-5bbd5f45c1f1","resolution":{"observed_at":"2026-08-14T11:52:49.120501Z","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-14T11:52:49.125442Z","title":"Mosaik-a modular platform for the evalua- tion of agent-based smart grid control","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.125442Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:79a899ad128ad8aee9d2adf38a99d070dd9b78ed44f8b2a019eb3b8a9db776c2","observation_id":"95c5a9ec-3089-4d94-8983-c249b059f8b1","resolution":{"observed_at":"2026-08-14T11:52:49.125442Z","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-14T11:52:49.130407Z","title":"Ptolemaeus, System design, modeling, and simulation: Using ptolemy ii","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.130407Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:f7febd5d321a436238419d57ac11cb2c05a91d0ffa9c06ad4312a415cb1328ef","observation_id":"6ac19d65-834a-471f-a99a-8d7315fe1a8f","resolution":{"observed_at":"2026-08-14T11:52:49.130407Z","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-14T11:52:49.135747Z","title":"Functional mockup interface 2.0: The standard for tool in dependent exchange of simula- tion models","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.135747Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:1049c6d98e7766ad56bf54a1c981895e1a67fafe73bae9a34f188af5332804ee","observation_id":"87384609-f8bb-4a29-ad24-b55e3650e006","resolution":{"observed_at":"2026-08-14T11:52:49.135747Z","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-14T11:52:49.140769Z","title":"ENABLE-S3: Testing & V alidation of Highly Automat ed Systems","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.140769Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:0c1a2d0687f0ce8bcb21eb4dac4583cd268e30d7287f16c946dc1a3a88f82be2","observation_id":"8ff60702-04f6-4cc5-b7f3-88e719befd5d","resolution":{"observed_at":"2026-08-14T11:52:49.140769Z","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-14T11:52:49.145636Z","title":"Wooldridge, An introduction to multiagent systems","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.145636Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:a865b440919c6387bc4b0dc45a6813aaa9837602066292da5006165ec5f1c584","observation_id":"be6f12fd-5836-4ff1-b3e2-b33901c98551","resolution":{"observed_at":"2026-08-14T11:52:49.145636Z","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-14T11:52:51.686484Z","title":"Bussmann, N","venue":null,"work_id":"8cc0492b-7b3f-4508-85ab-a27a0c79caf5","year":2013},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.150589Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:d01677a7ef8f1d7a130cf41e148e056ad56e710fc3ca6ee00f49fde24abd82f1","observation_id":"96091109-1872-4a02-8b33-2e4d379e455f","resolution":{"observed_at":"2026-08-14T11:52:51.691362Z","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-14T11:52:51.670814Z","title":"Market- based self-organized provision of active power and ancilla ry services: An agent-based approach for smart distribution grids","venue":null,"work_id":"43c9eaa4-cd75-4962-a095-c99bae1782e7","year":2012},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.156497Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:3db21baa068bede8ab72b07c27eaa911eeebd193ac1f1e901c364c3edc77ace4","observation_id":"fc4a9c76-1f30-43d4-ab88-67101bdf399d","resolution":{"observed_at":"2026-08-14T11:52:51.676233Z","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-14T11:52:51.654190Z","title":"Approach for ancil lary service provision by decentralized energy de- vices with the focus on load frequency control","venue":null,"work_id":"245aefac-62cf-4ab2-8faf-5e2ad2f06164","year":2014},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.165410Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:7e2bb36f775e655062d5143d98234f3b87e30550ad5d790636f63453b7836a6f","observation_id":"1fd683fc-9a18-42f3-9fc5-9083647a43d9","resolution":{"observed_at":"2026-08-14T11:52:51.659267Z","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-14T11:52:51.638418Z","title":"Multi-agent systems for power engineering applic ations—part I: Concepts, approaches, and technical challenges","venue":null,"work_id":"e69e40fb-4f22-4ca4-9c03-10ebcf72d6e2","year":2007},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.175567Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:031e96247f2291c103838376e83db627654ba5b1a413feb8e01ab917b2a82def","observation_id":"03b1713c-bd39-423b-9fc9-46a2be2c32c6","resolution":{"observed_at":"2026-08-14T11:52:51.643543Z","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-14T11:52:51.621693Z","title":"Multiagent traffic management : An improved intersection control mechanism","venue":null,"work_id":"c034aefd-3706-43d1-aa90-87af2abda853","year":2005},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.187269Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:e98589fc1e4a82f4175c83f749158e4b25ae3380688d5c3bf105b0416669d362","observation_id":"51f32aeb-218f-4fae-b59d-e986a1791e01","resolution":{"observed_at":"2026-08-14T11:52:51.627575Z","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":"2007.90847","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:52:50.184960Z","title":null,"venue":null,"work_id":"4abf774e-465b-4c76-b774-b18ef01082ea","year":2007},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.181558Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:dbc019dc9e89d6dc1bdc80b27456b25fec39e67c671f4dbb1615034e8328ba1b","observation_id":"1eb27466-1493-4cc4-8d98-fc558994ff07","resolution":{"observed_at":"2026-08-14T11:52:50.197406Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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-14T11:52:51.587027Z","title":"The chaotic nature of TCP congesti on control","venue":null,"work_id":"5920f12e-c7fc-418e-8d53-63dc4ffe0c33","year":null},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.198718Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:39baa369d6dde8519c524c0453746cfdd1345afaaf9e47cff9c5fecfbe264095","observation_id":"9f363473-9d24-498d-beba-bbded48800d5","resolution":{"observed_at":"2026-08-14T11:52:51.591981Z","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-14T11:52:51.604009Z","title":"A collaborative driving sy stem based on multiagent modelling and simulations","venue":null,"work_id":"ba648a4c-0e57-4e82-b498-0ed2e0549b4e","year":2005},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.192599Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:d3bd832aa9abda80d75bf0b815b682e2ea6cd034b1aa2dca94c17ffa8832fefd","observation_id":"e2b1dc1d-36a6-46fe-aa2e-7742d05ff6fc","resolution":{"observed_at":"2026-08-14T11:52:51.608981Z","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-14T11:52:51.551872Z","title":"Efficient algorithms for distributed snap shots and global virtual time approximation","venue":null,"work_id":"262251eb-c184-44ca-9b01-95e8a9784273","year":null},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.213220Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:b50baf4e0149a0fb55891fc9d6a8795817b92325c0458674e80259a5aa2c8c70","observation_id":"f5c47f27-909b-4468-9fa8-873b011660a3","resolution":{"observed_at":"2026-08-14T11:52:51.558017Z","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-14T11:52:51.534921Z","title":"Consensus and Cooperation in Networked Multi-Agent Sys- tems","venue":null,"work_id":"28e13bda-55cc-46ac-b3ba-be4b9237d640","year":2007},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.217966Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:10ee49bb1bcdc58ed92f39ca4be703bbab19556ce78321e7266f4b3791d1f650","observation_id":"276b39b5-c565-4e72-9532-3ca57cc6e0f4","resolution":{"observed_at":"2026-08-14T11:52:51.539996Z","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-14T11:52:49.208170Z","title":"Distributed snapshots: de termining global states of distributed systems","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.208170Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:063f28613c0c30b9f0ea16298554dbbae5921829c5e9a2cfad6192182bb18da8","observation_id":"db2a12af-ea3a-4a95-9886-81ed98c8dbfe","resolution":{"observed_at":"2026-08-14T11:52:49.208170Z","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-14T11:52:51.501463Z","title":"The distributed negotiation of egalitarian resource allocations","venue":null,"work_id":"3ca02e3c-60b3-4576-a96a-64d6f1d341b7","year":2006},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.228011Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:98dc391ccf3fb9f1e692729e1999f3469a880ab68cd148f9666bab844ee6ac5c","observation_id":"8c4ef781-4c12-4b43-85ee-65aeda8e8994","resolution":{"observed_at":"2026-08-14T11:52:51.506457Z","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-14T11:52:51.484602Z","title":"Negotiation decision functions for autonomous agents","venue":null,"work_id":"f8ccc779-2b42-43bb-a4e6-b1177c955020","year":1998},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.232915Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:2f71db4020d381dfd02529213e7a076c48ad42dbe2856dfec45f518b71b306a1","observation_id":"f4cd9741-37bf-4227-8694-79a04058ae37","resolution":{"observed_at":"2026-08-14T11:52:51.490064Z","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-14T11:52:51.516552Z","title":"Protocol moderator s as active middle-agents in multi-agent systems","venue":null,"work_id":"e812c75c-542b-4764-af5a-17eb10cb7220","year":2004},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.223235Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:624b31c01d7c1d8834298ce142bbe43ea3fdcf489908f9df478f1123df5d3691","observation_id":"1a12c654-01db-4ad7-a908-fcac38011d02","resolution":{"observed_at":"2026-08-14T11:52:51.522227Z","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-14T11:52:51.449330Z","title":"An Agent-Based Approach for Dy namic Manufacturing Scheduling","venue":null,"work_id":"d47cf3ae-958a-4972-b074-0ddf5340da67","year":1998},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.243171Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:df77ede292aa47786930d255fdcf7a9fb735cc8ca732bf2089dea8b4221bed21","observation_id":"92a96b9c-c0a0-4fb5-8f91-548560899ff1","resolution":{"observed_at":"2026-08-14T11:52:51.454443Z","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-14T11:52:51.431793Z","title":"Host extensions for IP multicasting","venue":null,"work_id":"9150efe8-0f31-4831-963b-0b48a9e8fb45","year":1989},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.251206Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:763fc086429f8887ae8721926883c909eced12a102621510285ad59a281a34f1","observation_id":"2a3c88ec-b4ee-4930-a020-be923fdb7cf5","resolution":{"observed_at":"2026-08-14T11:52:51.436960Z","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-14T11:52:51.467745Z","title":"The contract net protocol: High-level com munication and control in a distributed problem solver","venue":null,"work_id":"ce1dd603-4896-4b77-b301-cbbe6cd602ff","year":1980},"citing_paper":{"arxiv_id":"1908.11779","last_updated":"2019-08-21T20:57:27Z","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-14T11:52:49.237802Z"},"links":{"citing_paper":"/paper/1908.11779"},"observation_digest":"sha256:fc0baa91159d4b99b2dfa3d58e4b8d3abf445296c0145944dc50c0b47b9224d2","observation_id":"8ad95b87-315e-4e59-8c1e-583851a83bdb","resolution":{"observed_at":"2026-08-14T11:52:51.473200Z","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.11779","last_updated":"2019-08-21T20:57:27Z","latest_version":1,"primary_category":"cs.DC","snapshot_observed_at":"2026-08-15T23:08:31.722071Z","submitted_at":"2019-08-21T20:57:27Z","title":"Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":78,"verified_exact":5,"verified_fuzzy":15},"total_outbound_references":141},"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 100 of 141 outbound references and 0 inbound Pith citation observations for arXiv:1908.11779."}