{"as_of":"2026-08-11T01:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0d56689a663aa67a2e94256533805bc593d27f7c94e62a51f11661a9301acd93","coverage":[{"denominator":67,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":67,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T16:54:03.054049Z","state":"measured"},{"denominator":67,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":67,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2501.18608/citation-record","integrity":"/paper/2501.18608/integrity","json":"/paper/2501.18608/citation-record.json","paper":"/paper/2501.18608"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.541039Z","title":null,"venue":null,"work_id":"99961fa5-ff52-4d88-bb2b-f84aacdf5b3b","year":2016},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.664917Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:378ee27c97a5810ac85d9d06fa35bbe40381022a9d8a0445c38ef338ab45bdda","observation_id":"d1d19b7f-8a34-4cf5-9ab2-7fac90ef6534","resolution":{"observed_at":"2026-08-10T16:54:04.546861Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.522392Z","title":null,"venue":null,"work_id":"81007453-e817-462f-9640-402e3f00fbff","year":2021},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.671146Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:9c278f36c04e45f76bd44f85536b618e51329dc9b4bd162e3ad02e96deda9526","observation_id":"b8d5dd41-5691-49bd-a86e-b33f547d6d4a","resolution":{"observed_at":"2026-08-10T16:54:04.528873Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.500761Z","title":null,"venue":null,"work_id":"e6c9b2e1-a6d6-4fc8-801b-7dd61ebdd3f5","year":2015},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.677547Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:23f243124f8d8da89ddb6f893aedd7d1b790e0a61f9a00c2e9250babd173d638","observation_id":"e6daf5fb-8e0d-45a2-84f7-4d4af506325a","resolution":{"observed_at":"2026-08-10T16:54:04.506989Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.482129Z","title":"In: ICRA Workshop on Open Source Software, vol","venue":null,"work_id":"18372a0d-a0bd-40b0-8b5f-43701340c66e","year":2009},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.683666Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:6e00b34b4a328d8404eed178422991d38c2918ca127e5a1a166ce2926d4bdbd2","observation_id":"ba2a2b3e-f5d7-4cfa-9317-5cb57318cdf0","resolution":{"observed_at":"2026-08-10T16:54:04.488475Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.460780Z","title":"IEEE Software (4), 20–28 (2001)","venue":null,"work_id":"7d99f3c1-dc18-4ee2-89f7-8a27caff9ee9","year":2001},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.689823Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:e5fdf8f1829ad1a1f640383d795a7a5d82d18327e86c52c590f8cd66646216ae","observation_id":"cd541b02-0f24-4017-bad3-bcc6a8cbbbdb","resolution":{"observed_at":"2026-08-10T16:54:04.466609Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.442487Z","title":null,"venue":null,"work_id":"8c99908e-1ae7-4572-a2ba-9e96f90a1b3c","year":2004},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.695878Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:b999a0d3293e37416e4204ae9d62227d8825fa6021f4d61837bc16c891079241","observation_id":"895d641a-1960-4cf9-9421-7570ce6db87f","resolution":{"observed_at":"2026-08-10T16:54:04.448089Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.422232Z","title":"In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Mon- treal, QC, Canada, April 16-18, 2019, pp","venue":null,"work_id":"25fc6298-4bd5-47fe-a6e4-d26df07ba82e","year":2019},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.702219Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:4733584f850cc33f1176c6a5657e132dbfa3e4802179bf281a019d5936088009","observation_id":"20889c68-878b-4a0e-91c1-1d8799cefdee","resolution":{"observed_at":"2026-08-10T16:54:04.429514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:02.707635Z","title":"In: Auto- mated Technology for Verification and Anal- ysis - 18th International Symposium, ATV A 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.707635Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:0479015ff4f201cb4337016c039871afae136114f979b83c6cc3876a9fff3c67","observation_id":"c5c31a43-6498-4fcf-8867-75973dd0fea9","resolution":{"observed_at":"2026-08-10T16:54:02.707635Z","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-10T16:54:04.382880Z","title":"In: Computer Aided Verification, 19th International Conference, CA V 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp","venue":null,"work_id":"cfc0444a-0076-49f7-bb8c-18986869fd3b","year":2007},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.712658Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:2cb2969850fb929a6bc368a7d6c4f0ac286aec66d9bf068ac1d208a8bc80a0cd","observation_id":"370fde61-2d70-4a9a-90f7-0e738ea83f35","resolution":{"observed_at":"2026-08-10T16:54:04.409620Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.360647Z","title":null,"venue":null,"work_id":"d08dc469-e0cc-4ab9-b4fc-905794f24bd6","year":2015},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.718164Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:0f3db5922fc10142b6ce0087268be71cfadbc6db990489d2c791a58e61708a38","observation_id":"70ed7ac2-336f-4c78-96fa-dc7e133133c9","resolution":{"observed_at":"2026-08-10T16:54:04.366930Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.340404Z","title":null,"venue":null,"work_id":"f956d092-9423-4786-8324-f50ee71a6844","year":2013},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.723043Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:a8c791fcc2f6b75da41c5734d45570effecd80a683014e2223162ff9ba15e5ba","observation_id":"810fcf75-6e70-4f3d-823b-b673f7b1233a","resolution":{"observed_at":"2026-08-10T16:54:04.345938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.322360Z","title":"545–558 (1992)","venue":null,"work_id":"0e6ab36b-8041-401f-9edd-5e8e67b089ad","year":1992},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.729184Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:c93bf1d0abd75534d03870c6db266099d54c5e836ffaee7aff370bb014a897c1","observation_id":"805575bf-f33c-4ac0-9f3b-0f254d3b6aa4","resolution":{"observed_at":"2026-08-10T16:54:04.327485Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.300239Z","title":"In: Com- puter Aided Verification (CA V), pp","venue":null,"work_id":"e88f0983-5a42-472a-9e48-7b04c80ff216","year":2013},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.734069Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:243aa815fdb03cc02a1f862a981fdcb7ffc887d70d4582210f219d536bfec18b","observation_id":"c78ff6d3-954a-4156-aba3-a88ca6b62fb6","resolution":{"observed_at":"2026-08-10T16:54:04.307231Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.281336Z","title":"In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FOR- MATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp","venue":null,"work_id":"c60e12c0-5d09-4d87-bc5e-edec65bdc940","year":2007},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.739301Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:edc4ff27b255e719c0af3e372f4a6ddcd6e94bf3a34426f177ce82b6bec80400","observation_id":"aeb10b63-916d-487a-9727-7541a0028333","resolution":{"observed_at":"2026-08-10T16:54:04.286459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.258641Z","title":"In: 2020 18th ACM-IEEE Interna- tional Conference on Formal Methods and Models for System Design (MEMOCODE), pp","venue":null,"work_id":"aa9f70ac-7020-4be0-92ac-92d02d48c04c","year":2020},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.744310Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:998a0ceb72aa508343a5519540bf011056db4b42469b5bfb2a0c1872f44c4c30","observation_id":"a2c0387d-cce5-4035-b11e-f1a0ac6fba52","resolution":{"observed_at":"2026-08-10T16:54:04.266251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.239781Z","title":"ROBOMECH Journal 6(1), 4 (2019)","venue":null,"work_id":"8e93d59c-ae65-4876-9657-6d51afca1887","year":2019},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.749524Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:cda94ef4912de3dc48fc2e56272a278a45bdac1b34de33e1dd05967811de1410","observation_id":"ade55415-ab55-4bf1-a433-ce2986130999","resolution":{"observed_at":"2026-08-10T16:54:04.245641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.221169Z","title":"In: IEEE/RSJ International Conference on Intelligent Robots and Sys- tems, Sendai, Japan, pp","venue":null,"work_id":"15f04983-ed7c-4875-82a3-55a618ebd1b9","year":2004},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.755052Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:a73c0c2e7109a4a28e892aaa4477a3ad50909846060d139d1690b99fe7818344","observation_id":"cfac6f03-d289-470b-900d-41222723a90d","resolution":{"observed_at":"2026-08-10T16:54:04.226280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.203402Z","title":": Autonomous driving in urban environments: Boss and the urban challenge","venue":null,"work_id":"b912f3b7-652b-474a-86e2-e1aa4a0ee103","year":2008},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.760338Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:62656e067860af28705a95eafe16917e2fa7e971d7178085670bc70edc4540a3","observation_id":"045a5ef0-149c-410e-ae8e-18a0f87ab9a8","resolution":{"observed_at":"2026-08-10T16:54:04.209377Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.186288Z","title":null,"venue":null,"work_id":"5bfe9726-6b01-4046-89ce-fe116a8d5bd9","year":2005},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.765959Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:caafc1696c4edba9fed4fd68df88440c8af690f452cb1f3b5efb4c644f99af05","observation_id":"152fa4c8-533c-4214-b048-a8ab6a76016e","resolution":{"observed_at":"2026-08-10T16:54:04.191436Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.169643Z","title":"In: International Confer- ence on Robotics and Automation (2010)","venue":null,"work_id":"152b6cf4-c1a1-4d95-86d5-305b6101cb06","year":2010},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.772762Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:c5ea19840e3618ee7d77095b74925713689bfa6379dab90c617dfe4cbf54703b","observation_id":"b5a65cb4-f00e-448a-8882-8aaf04a710b8","resolution":{"observed_at":"2026-08-10T16:54:04.175112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.153043Z","title":"In: Proceedings 2000 ICRA","venue":null,"work_id":"e862979e-f916-4e68-ad55-817ecbc8d9a1","year":2000},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.778648Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:f76befcfe93ef630917c664c2730a3c75f2c8ade99c7ecc2a6a48230a148b6bf","observation_id":"a22c3134-0987-4249-a920-289cbab1b347","resolution":{"observed_at":"2026-08-10T16:54:04.158746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.137887Z","title":"In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp","venue":null,"work_id":"1ef61bc5-c778-46f6-ba16-21c9e1de56ad","year":1977},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.788465Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:e5d29c4a5e6047cd228d8d32ed0dd425e53ccfaa148589aabec21b200e25ea60","observation_id":"40084cbc-c635-4391-ba23-98956d0017d7","resolution":{"observed_at":"2026-08-10T16:54:04.142633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.121128Z","title":null,"venue":null,"work_id":"c0769705-ee62-4d57-aa54-15f19410ee35","year":2006},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.796416Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:46173ce3a662ac995e51a55cb5c80ac62b20055cdba3c78394dff18b017d6c1d","observation_id":"46537ab0-ba48-4366-8bda-26ba1ca474b7","resolution":{"observed_at":"2026-08-10T16:54:04.126399Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:02.802028Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.802028Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:3a0023e40af75dcf185c04048369a465a34c95c9c42c9e8cc98ce0d5af98af45","observation_id":"65fcb402-bd82-47dd-96e2-c3eb4ccc03fa","resolution":{"observed_at":"2026-08-10T16:54:02.802028Z","resolver_source":null,"status":"malformed_identifier"},"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-10T16:54:04.104253Z","title":"In: Formal Modeling and Analysis of Timed Systems (FORMATS), pp","venue":null,"work_id":"58988deb-35ff-44ad-9986-f78c9dcea25b","year":2010},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.806978Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:51345a101152a656329768a0f57dccb18c055480dd09f3b7d07e8305b4402646","observation_id":"64e21d51-8164-4963-b0c0-208a2199f845","resolution":{"observed_at":"2026-08-10T16:54:04.109358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.087047Z","title":"In: 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp","venue":null,"work_id":"179e96ed-aaaf-4eaf-b286-5f2809e6acf8","year":2014},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.812079Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:b9dfd13b9beaa8ea6e7b9ddb53e4189e788fb0c809233800cf4e991ffebb9762","observation_id":"f008b336-ff0b-47de-bd51-d83e3514d3cb","resolution":{"observed_at":"2026-08-10T16:54:04.092274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.067267Z","title":"In: Computer Aided Verification, 27th International Conference, CA V 2015, San Francisco, CA, USA, July 18-24, 2011, Proceedings (2015 (to appear))","venue":null,"work_id":"e2815493-1b55-4b29-b446-22bf18131525","year":2015},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.816898Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:93f7e4d7dc04059538dc2fa84d523c474249dbad4c36ce0a4c733442ef670b6d","observation_id":"12d92638-85c0-40d5-bfcf-18a7ce762d0c","resolution":{"observed_at":"2026-08-10T16:54:04.073636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.050873Z","title":null,"venue":null,"work_id":"91785924-8724-4cf9-aac4-15f2c273988c","year":2011},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.822478Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:a1576474d4711bab16eb4f6fbed617c25f4c12de47f26033bf24b1cd3ab4b74b","observation_id":"7a066320-3f3c-4a5b-b3b0-97d54bdb7b29","resolution":{"observed_at":"2026-08-10T16:54:04.055252Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.036045Z","title":"In: Computer Aided Verification, 22nd Inter- national Conference, CA V 2010, Edinburgh, UK, July 15-19, 2010","venue":null,"work_id":"31a7386d-7e88-45c9-9db9-21e33966be0a","year":2010},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.827261Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:ac96a137b0d92c26d717ed79a473617a94abb3bab2ae2572bee0ec9bb74b4eb9","observation_id":"935c1c52-1514-4065-a404-1478d780b805","resolution":{"observed_at":"2026-08-10T16:54:04.040711Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.020783Z","title":"In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp","venue":null,"work_id":"59e0fe57-9f7c-4b29-a553-4e30beb11b69","year":2002},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.832243Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:ac0a056f343daff5e23651de52f3c3224c38b528390af7744820e99a823b9fb7","observation_id":"12dbb8d6-b82c-4da2-8a6e-5e7e15ce63c5","resolution":{"observed_at":"2026-08-10T16:54:04.025960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.134435Z","title":"In: Proc","venue":null,"work_id":"184af48f-b516-453f-b452-b8d15e7da239","year":2013},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.836979Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:08f82f8f16d4d640c3c54e144bae8e0e9ed3abbe1fc0592862faedbcbcc2b18a","observation_id":"7d3c3dd1-045c-4ed3-9c14-0115c18efbe9","resolution":{"observed_at":"2026-08-10T16:54:03.141324Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:04.004214Z","title":"Formal Methods in System Design 44(3), 230–239 (2014)","venue":null,"work_id":"6fbb696e-ea03-4edf-bff9-404505ace02c","year":2014},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.842170Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:f2b2f2e38f5dea06523ac3a0d15e4d17733fd61e5abcc1a6d83cdca37573a006","observation_id":"1829aa9e-e915-49ee-9443-334a237b3a8a","resolution":{"observed_at":"2026-08-10T16:54:04.009850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.985555Z","title":"In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp","venue":null,"work_id":"5e7acc39-5333-43b9-b1f8-7315ad3e4c60","year":2014},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.847083Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:3436f505b68edb481da68c4d4d66faae8138f56ed37c909a6c8426f3b5b90f03","observation_id":"fca3ac25-314e-43a7-8ede-3c36b3bffa90","resolution":{"observed_at":"2026-08-10T16:54:03.990563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.965962Z","title":"In: Runtime Verification - 16th International Conference, R V 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp","venue":null,"work_id":"88250a46-08a2-4929-9c92-2a29c5d529ac","year":2016},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.852067Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:2959b03328495b9dfb3aa8010da4a158676a822ad33a9d8d486855dde465ab78","observation_id":"d162b74d-82d2-474b-9f0f-f6495f69d5e9","resolution":{"observed_at":"2026-08-10T16:54:03.972503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.945610Z","title":"In: R V-CuBES 2017","venue":null,"work_id":"5256afa4-0714-4e4f-ba77-bc384d858044","year":2017},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.856962Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:7038b4eb3462c471b71bb46b3cb81e928f4b41e887e1cd787528394144be7ee7","observation_id":"220c759d-6fb3-41ee-bb14-7b2b3fece67b","resolution":{"observed_at":"2026-08-10T16:54:03.951222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.925105Z","title":null,"venue":null,"work_id":"ef78e461-3e2a-4a55-98b0-701fd3fec2f8","year":2022},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.862325Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:a7b5e7699a0d052c9d4b8d6a53b8eadce3cc2fb6a920e7d9e64bafb2119035b9","observation_id":"8bbc309e-578e-4121-858c-0fcace3283b2","resolution":{"observed_at":"2026-08-10T16:54:03.931183Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(04)805","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.108642Z","title":"In: Runtime Verification 2002, R V 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp","venue":null,"work_id":"a976c8e4-6369-45a9-b3e7-10b9b8cd12c7","year":2002},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.867971Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:eafaa1a3cf7b92ad8d971c820b12abb40d46dd68a4cd7e47f042a413c3bb839b","observation_id":"1c814a21-f0b3-4499-afad-3038197d43d9","resolution":{"observed_at":"2026-08-10T16:54:03.117773Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.906324Z","title":"In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp","venue":null,"work_id":"96dacf74-5e7c-4fe2-9252-ef280ea7f633","year":2005},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.873948Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:c91934f955b6f07109bd866c1821d2b74772f7e0327e56baf8c713af5f0d6b5b","observation_id":"c2541efe-e678-4153-8aef-72e77f4f76f3","resolution":{"observed_at":"2026-08-10T16:54:03.913719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.885294Z","title":"In: Runtime Verification: 16th International Conference, R V 2016, Madrid, Spain, September 23– 30, 2016, Proceedings, pp","venue":null,"work_id":"4bec9bf3-1c67-4cc7-a328-c8ba8f7d6aac","year":2016},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.879479Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:e5856e8561ac1dd964a45bf2bb3a77552f873aca53f8da8829f2ecfd4ce4e44d","observation_id":"7c896ad2-b0f4-440e-bd49-4c704fb66e75","resolution":{"observed_at":"2026-08-10T16:54:03.892357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.03829","last_updated":"2019-06-12T09:37:17Z","snapshot_observed_at":"2026-07-06T06:08:45.897135Z","submitted_at":"2017-11-10T14:27:19Z","title":"Real-time Stream-based Monitoring","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1711.03829","snapshot_observed_at":"2026-08-10T16:54:02.884606Z","title":"arXiv preprint arXiv:1711.03829 (2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.884606Z"},"links":{"cited_paper":"/paper/1711.03829","citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:f712044cbc3aaa3755b616d5c0b5bfc86e8c2b50d2c0d9b7cbc920e68d5cd61c","observation_id":"3de7fbe1-5891-40ed-b85b-cd15cd745069","resolution":{"observed_at":"2026-08-10T16:54:02.884606Z","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-10T16:54:03.867194Z","title":"In: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26– 30, 2018, Proceedings 21, pp","venue":null,"work_id":"7977c3bd-8c67-43fa-9125-642aa0a9eefd","year":2018},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.891451Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:ff4e651eb1b8e8ebe557a46689a402d453e96b535f98efe0b0ac589e7f10f03e","observation_id":"550e7b1f-bb0a-469c-9355-a92c96ac1f7b","resolution":{"observed_at":"2026-08-10T16:54:03.873131Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.841885Z","title":"In: Runtime Verification: 18th Inter- national Conference, R V 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings 18, pp","venue":null,"work_id":"534971e6-c3f6-411a-980c-2313f125e819","year":2018},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.897621Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:e1bfabeeeee1a84f1c6bc4af75cfd83a75aed60997f865f9a46a7ea13dd37b0a","observation_id":"41b7b74e-4e94-43f2-b727-baaae572ac23","resolution":{"observed_at":"2026-08-10T16:54:03.847854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.820666Z","title":"In: International Conference on Runtime Ver- ification, pp","venue":null,"work_id":"c37443c6-fa43-479d-ba41-da4c9767739f","year":2014},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.904224Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:7a5879c1bc3ca65aede2124bb7b9f5c825d1c917b2b51a286c6afc30af1b9b6f","observation_id":"4674f1c8-36e7-4fa6-8e35-2a083fd7a3ba","resolution":{"observed_at":"2026-08-10T16:54:03.825910Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.802410Z","title":"For- mal Methods in System Design 51(1), 5–30 (2017)","venue":null,"work_id":"f3982064-432b-4e54-9a0b-5bc8445eadc6","year":2017},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.909784Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:445e4416c6c0266e1bfb9806a095c4c4cdca282d0d006770006ca40058aedf4f","observation_id":"1e0c1136-cc70-49dc-bd51-7fb9a3f8a3a2","resolution":{"observed_at":"2026-08-10T16:54:03.807855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2020.30130","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.428713Z","title":"IEEE Trans","venue":null,"work_id":"9c52810a-6cdc-4538-85f5-26185de21689","year":2020},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.915592Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:21ebebab36244c7744f5b393f7bf699a80ec311b505241e13b3eded7dcb905a1","observation_id":"3a64c39d-5808-4d3f-9353-13970f9d325d","resolution":{"observed_at":"2026-08-10T16:54:03.437340Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:02.920924Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.920924Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:d33ddd59daa94049439bdb52e319a0315361dbebb1ff1853931754b59b558e27","observation_id":"22267da7-47a9-43ae-9aea-06f1c3e72bfd","resolution":{"observed_at":"2026-08-10T16:54:02.920924Z","resolver_source":null,"status":"malformed_identifier"},"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-10T16:54:03.780935Z","title":null,"venue":null,"work_id":"42883886-f457-4420-8338-665e26186fc2","year":2021},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.925918Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:4798b4c611cfe240c4c219bf36084c6aee18fc4c061f55c93371e8a1e60583af","observation_id":"5363c6ce-b927-46f4-9250-50f22343c851","resolution":{"observed_at":"2026-08-10T16:54:03.788736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.763101Z","title":"Journal of ACM 49(2), 172–206 (2002)","venue":null,"work_id":"595d0306-c144-46a8-913d-c26681f1aa66","year":2002},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.931517Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:ad8faaad83788ca20da9bbb03b3920b6198fd82daa348ed2d6ccac792ff0004a","observation_id":"ceb43754-08a1-43f5-88f4-83306e44cc93","resolution":{"observed_at":"2026-08-10T16:54:03.768117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.745601Z","title":"In: Logic in Computer Science (LICS), pp","venue":null,"work_id":"a389e03d-57d1-4cb3-8286-b3d5899c9b5e","year":1997},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.941211Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:880128b387b736254e45595e6919fc989d84e2fc6d54ca9ecd0f996639f27258","observation_id":"bcbc4250-ad2b-40ae-b4aa-f07ac011cae5","resolution":{"observed_at":"2026-08-10T16:54:03.750547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.727357Z","title":"In: Formal Model- ing and Analysis of Timed Systems (FOR- MATS), pp","venue":null,"work_id":"1c3616b3-9bdb-4d22-b159-8f371467bf60","year":2014},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.948557Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:24f86ab8f04fa05bb28c9cc54e5b1484f9e9a4814ac2547428f52e530a2cc813","observation_id":"80218bd2-7ff2-43d6-9f45-7dcea44a44b5","resolution":{"observed_at":"2026-08-10T16:54:03.734000Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.711110Z","title":null,"venue":null,"work_id":"5850ecaa-195a-41e5-8e0c-3bb40dedba57","year":2016},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.956157Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:86f5bd2d5a8ea738b752121d7f4cb9abf39d2f0850fee26bea0eebeb3cea2c3b","observation_id":"af1d2218-a34d-4896-9d2f-f676d490bdf1","resolution":{"observed_at":"2026-08-10T16:54:03.716187Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.688427Z","title":"In: Computer Aided Ver- ification - 29th International Conference, CA V 2017, Heidelberg, Germany, July 24-28, 26 RTAMT 2017, Proceedings, Part I, pp","venue":null,"work_id":"356e8f86-0530-441f-b090-01d508c1de20","year":2017},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.962642Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:d4a058a3846a30ec1aefdc388f836f20f835b133f1cff8d44180a9fbea6ddd1b","observation_id":"24160072-d5eb-478e-bb23-197a7cb74e04","resolution":{"observed_at":"2026-08-10T16:54:03.695731Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.668799Z","title":"IEEE Trans","venue":null,"work_id":"04ac99bd-20cd-4a59-987d-3ece5c16cc7e","year":2018},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.968107Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:1a600baecafcf4b35ca5a4b483646c720fc5a7de54fcf6e62a44ed8786aec192","observation_id":"7245b575-2712-4e4f-af15-dea3828a4771","resolution":{"observed_at":"2026-08-10T16:54:03.674585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.651002Z","title":"In: Formal Modeling and Analysis of Timed Systems - 15th Interna- tional Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp","venue":null,"work_id":"e762f6d4-8b4c-4623-b1da-60fb5240453f","year":2017},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.974326Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:f711861dc8e59276ec1440b76f00d73d860ba4608f7f56767a9355cf059822d3","observation_id":"58161b32-e0d7-4eef-b7fe-c1f2878c3da0","resolution":{"observed_at":"2026-08-10T16:54:03.656267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.632398Z","title":"In: 3rd Work- shop on Monitoring and Testing of Cyber- Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, pp","venue":null,"work_id":"abe2b17c-972c-4efb-8058-24faeff8bdb4","year":2018},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.981448Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:cf61bde8804c72cf128b671dd8572705b2107321be6592ceffe4a18c30f1186c","observation_id":"9f65a870-338b-460d-9e3a-dc2411169004","resolution":{"observed_at":"2026-08-10T16:54:03.638217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.612969Z","title":"Technical report, SAE Technical Paper (2016)","venue":null,"work_id":"da391594-226e-4902-9ed5-186a984d3f9a","year":2016},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.986382Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:0fbda981cd4a808715d85f36e5270287880b89081088ceeeb5a5ccad726e8a0a","observation_id":"8f56b904-7d89-4094-8be8-0a1a8d7b2db2","resolution":{"observed_at":"2026-08-10T16:54:03.618769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.595773Z","title":"Technical report, United States","venue":null,"work_id":"bda7c634-16f8-4889-ace5-822773437057","year":2007},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.992650Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:3045360d5a8615567dcd0f34b602adfd4894b05b92d79a74072e7949930f5a77","observation_id":"d5d31f86-a5c6-4727-a7f4-a36f4597005b","resolution":{"observed_at":"2026-08-10T16:54:03.600795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.575096Z","title":"In: International Conference on Computer Safety, Reliability, and Security, pp","venue":null,"work_id":"47e2b7db-e596-4573-bef6-bf2421951316","year":2019},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:02.999591Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:9ec041f0707ad8d0218a381ab095ffa482370b74d50912633d60d3fcada9c481","observation_id":"ffe650dc-503d-44b4-9163-204f2e9a2aa4","resolution":{"observed_at":"2026-08-10T16:54:03.581890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.554575Z","title":"In: Proceedings of the 17th ACM-IEEE Inter- national Conference on Formal Methods and Models for System Design, pp","venue":null,"work_id":"88fc0373-f8db-4534-9351-29eaaf18ecc0","year":2019},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.005394Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:aa1b284c5679d9aba562de6f8b2632b66d5cd224ed27327b1f03f82b9079e0c3","observation_id":"62cceeff-a3b4-46c3-9c1c-9bb6eee28551","resolution":{"observed_at":"2026-08-10T16:54:03.560594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1902.04245","last_updated":"2019-02-14T17:30:49Z","snapshot_observed_at":"2026-07-06T07:32:32.559105Z","submitted_at":"2019-02-12T05:38:14Z","title":"VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1902.04245","snapshot_observed_at":"2026-08-10T16:54:03.012011Z","title":"arXiv preprint arXiv:1902.04245 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.012011Z"},"links":{"cited_paper":"/paper/1902.04245","citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:1c0fb8016be7f2ab0fe8b4c2ad33ddc86de182eeb48a8624222b720f747fd48c","observation_id":"71c6c41d-c76d-48bd-acdd-b1aa2fde8ca0","resolution":{"observed_at":"2026-08-10T16:54:03.012011Z","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-10T16:54:03.526477Z","title":": Lgsvl simula- tor: A high fidelity simulator for autonomous driving","venue":null,"work_id":"0332fd1e-09fb-4a58-995b-6f60c3c05a9a","year":2020},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.017843Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:6c8c75fec5c4543c6ba485a7fb4026410d229cded50d81fc551d426e7bade5b9","observation_id":"cc0eb2f6-2c4d-4de2-af0f-24118c8d8141","resolution":{"observed_at":"2026-08-10T16:54:03.537789Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.13602","last_updated":"2021-09-28T10:23:46Z","snapshot_observed_at":"2026-07-06T11:52:05.458983Z","submitted_at":"2021-09-28T10:23:46Z","title":"SafetyNet: Safe planning for real-world self-driving vehicles using machine-learned policies","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.13602","snapshot_observed_at":"2026-08-10T16:54:03.023369Z","title":"arXiv preprint arXiv:2109.13602 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.023369Z"},"links":{"cited_paper":"/paper/2109.13602","citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:1edfdcb23b077e6ee6869a7117f3e775885bcbebea1d5821eeaf177cc0549fcf","observation_id":"410b4a85-27c9-403c-b017-7a6d3aa823f8","resolution":{"observed_at":"2026-08-10T16:54:03.023369Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1903.06758","last_updated":"2020-10-15T21:06:08Z","snapshot_observed_at":"2026-08-10T09:10:18.209047Z","submitted_at":"2019-03-15T19:02:38Z","title":"Algorithms for Verifying Deep Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.06758","snapshot_observed_at":"2026-08-10T16:54:03.029678Z","title":"arXiv preprint arXiv:1903.06758 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.029678Z"},"links":{"cited_paper":"/paper/1903.06758","citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:95bb8f1cc486afcf7bbbdec9d45b6eb7e8e6514ba8407e9ac5e22cfe28565e6e","observation_id":"0944316e-7e9c-4180-b282-7696c304cbb6","resolution":{"observed_at":"2026-08-10T16:54:03.029678Z","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-10T16:54:03.508521Z","title":"In: 2018 IEEE Intel- ligent Vehicles Symposium (IV), pp","venue":null,"work_id":"8d87af68-4df5-416d-bfb4-0cd8ea043886","year":2018},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.035644Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:f5537e4d8d1ec5202ae499b73ca63aba0e06f2b3536dcddc47ae17da9c87aa8f","observation_id":"434b43b9-aff2-497d-bb6c-0c025d8708e6","resolution":{"observed_at":"2026-08-10T16:54:03.513400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.489566Z","title":"In: 2020 International Conference on Embedded Software (EMSOFT), pp","venue":null,"work_id":"3cf8942f-e632-4843-9d27-1220851d5b40","year":2020},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.042793Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:f9c3baef260f2d196e31af06f51131ef325510b9159b6196b88b5c3cb2038741","observation_id":"5b6d296f-92af-40fd-8aab-ffec418438b7","resolution":{"observed_at":"2026-08-10T16:54:03.495599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T16:54:03.470084Z","title":"In: 2021 American Control Conference (ACC), pp","venue":null,"work_id":"6b3bb18c-ec29-4580-9cad-f91515a50370","year":2021},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.048098Z"},"links":{"citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:6a6f1432f8ac59ff62ddc1c55e12056ccf3ef529493f5da083031e7542361ee7","observation_id":"f2201e05-2257-4111-9596-f8c9ce118a90","resolution":{"observed_at":"2026-08-10T16:54:03.477072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1903.10033","last_updated":"2019-03-24T18:10:23Z","snapshot_observed_at":"2026-07-06T07:41:16.656885Z","submitted_at":"2019-03-24T18:10:23Z","title":"A Formalization of Robustness for Deep Neural Networks","version":1},"cited_work":{"arxiv_id":"1903.10033","doi":null,"metadata_source":"pith","pith_arxiv_id":"1903.10033","snapshot_observed_at":"2026-08-10T16:54:03.194407Z","title":"A Formalization of Robustness for Deep Neural Networks","venue":"cs.LG","work_id":"75568c0c-4e3c-4d5d-8d43-392e5fd9cff2","year":2019},"citing_paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-10T16:54:03.054049Z"},"links":{"cited_paper":"/paper/1903.10033","citing_paper":"/paper/2501.18608"},"observation_digest":"sha256:085d29ddcfabb26242e91577df9919bc18f50d33c573494a9db68a9457c6b760","observation_id":"b8d8dd35-a190-4205-8aab-ad7d5de11088","resolution":{"observed_at":"2026-08-10T16:54:03.201758Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.18608","last_updated":"2025-01-22T10:38:36Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-10T18:56:27.298878Z","submitted_at":"2025-01-22T10:38:36Z","title":"RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics"},"reference_resolution":{"displayed":67,"state_counts":{"malformed_identifier":3,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":17,"verified_exact":2,"verified_fuzzy":44},"total_outbound_references":67},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 0 inbound Pith citation observations for arXiv:2501.18608."}