{"as_of":"2026-08-16T20:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6878429cfb6c55bf157edce25f228f6f2131c9281acac43fb931a60513f08104","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:25:24.020822Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"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.03284/citation-record","integrity":"/paper/1908.03284/integrity","json":"/paper/1908.03284/citation-record.json","paper":"/paper/1908.03284"},"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-14T14:25:24.658798Z","title":"Bartocci, J","venue":null,"work_id":"8410ff48-db85-47de-84df-c41ecf12fafb","year":2018},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.911879Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:f47b44238d87a98cd760221c07dc1cc42b1d0fe5d14de13fc607c0f914450f0b","observation_id":"f1a5ad95-6578-4485-8d75-321fac264854","resolution":{"observed_at":"2026-08-14T14:25:24.666181Z","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-14T14:25:24.625128Z","title":"Runtime verification for ltl and tltl,","venue":null,"work_id":"d8b82ee6-7d59-4043-a78c-1c78d436e0ea","year":2011},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.917690Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:e3e7e837d102465ab239e88941e76cfbedce79d1d76877b493f57df17ff80ab7","observation_id":"5edc0993-e008-44ea-849c-4b466295f2f5","resolution":{"observed_at":"2026-08-14T14:25:24.635307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.08203","last_updated":"2022-09-12T16:39:40Z","snapshot_observed_at":"2026-08-16T04:15:12.169771Z","submitted_at":"2018-07-21T20:23:03Z","title":"From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.08203","snapshot_observed_at":"2026-08-14T14:25:23.923083Z","title":"Robust monitoring of linear temporal properties,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.923083Z"},"links":{"cited_paper":"/paper/1807.08203","citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:9173601836193ed76c4fd9967d423f137b27c0098bba1434784749b1f67ba833","observation_id":"c863813b-2a1f-427b-8f76-950a1ae95d6a","resolution":{"observed_at":"2026-08-14T14:25:23.923083Z","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-14T14:25:24.598559Z","title":"Robust online monitoring of signal temporal logic,","venue":null,"work_id":"a5162b2d-2c23-4173-8e7d-0c516a1e4a78","year":2017},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.928787Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:ba0930a8d991ccb5e2957e6649f96f2d563a9cd2894e543f1807e919cf7c93aa","observation_id":"88b49791-3dd7-4004-8425-5dd9ad5844cc","resolution":{"observed_at":"2026-08-14T14:25:24.608574Z","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-14T14:25:24.435491Z","title":"Safety verification of model helicopter controller using hybrid input/output automata,","venue":null,"work_id":"f819c213-b59b-4d0e-a2d5-efa6a353dc58","year":2003},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.934804Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:64058cc511cc4133876e3fdd2de1bd9245bbe3f39bf38077d71a1916eaae0861","observation_id":"7c603e64-0035-46b3-9539-d7c27049cfbd","resolution":{"observed_at":"2026-08-14T14:25:24.440593Z","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-14T14:25:24.412683Z","title":"Edit automata: enforcement mechanisms for run-time security policies,","venue":null,"work_id":"b607c6d3-bcc2-4575-a0e5-9aa8a8174185","year":2005},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.941753Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:7b2e6618b904102d6bd1d5a828d111f7fc22615ff7fa5ae2f1b2b2c0e526c3e2","observation_id":"05a06a94-e5a6-4b04-8242-2bb6bb0f4397","resolution":{"observed_at":"2026-08-14T14:25:24.420289Z","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-14T14:25:24.380710Z","title":"Do you really mean what you actually enforced?,","venue":null,"work_id":"ad043422-0486-4751-9b14-95886752e735","year":2009},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.947814Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:6a2c4c84e86ee1d75c716183364e07dbe7d134647f52f85e07f736d1e3f51a5f","observation_id":"544bd49a-46d0-46f8-8819-2506b1440af3","resolution":{"observed_at":"2026-08-14T14:25:24.386772Z","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-14T14:25:24.348710Z","title":"Level set methods for computation in hybrid systems,","venue":null,"work_id":"c64f7978-9d39-461b-afe4-d3d662a3c86f","year":2000},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.953111Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:d143bce4f40884cb39263da9df508839206ecdb8801f6c95d909d47c8857fc77","observation_id":"50924b01-3dc4-4335-9a37-63f811ec8dfe","resolution":{"observed_at":"2026-08-14T14:25:24.365441Z","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-14T14:25:24.322846Z","title":"Safety verification of hybrid systems us- ing barrier certificates,","venue":null,"work_id":"e8a3b2bd-26d6-48a7-a048-c7221b405648","year":2004},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.957862Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:6a84e2b00eaedc0c841efb991a9eb0cb900bdfa8c3595b0c5d487fb1c559bb7a","observation_id":"4d424bf0-28bb-456e-b863-0b5f4d6bf2a8","resolution":{"observed_at":"2026-08-14T14:25:24.329040Z","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-14T14:25:24.301641Z","title":"Receding horizon temporal logic planning for dynamical systems,","venue":null,"work_id":"75c796c3-3f24-4743-9e35-02a891a75341","year":2009},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.962817Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:e0633c964514cd4c7c6191833f4046131ff7d7978a6855ee07b9b108a455c9a8","observation_id":"82f239de-33d4-4983-a788-1f0e6970120c","resolution":{"observed_at":"2026-08-14T14:25:24.307969Z","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-14T14:25:24.283209Z","title":"Unconstrained receding-horizon control of nonlinear systems,","venue":null,"work_id":"d846d654-a0b1-4fb8-b96d-64445793d38d","year":2001},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.967895Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:c9d1931820af6b000a5339e0a603338de9c5350546501a4756d6ab9279259395","observation_id":"d63da48d-d307-4e87-ac62-e2ccb4b3918f","resolution":{"observed_at":"2026-08-14T14:25:24.289818Z","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-14T14:25:24.258253Z","title":"Formalizing the uni-processor simplex architecture,","venue":null,"work_id":"a8fd3626-cce5-4876-885a-8a61f13d0bf8","year":1995},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.972859Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:c4c4b4c82ecd446ea5f1e445f069b78b904aadc276a52fe4a59a407ab42db006","observation_id":"f4e2737e-1ac8-41f7-9e1a-f555750ff6fc","resolution":{"observed_at":"2026-08-14T14:25:24.268121Z","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-14T14:25:24.236151Z","title":"Baier and J.-P","venue":null,"work_id":"a2082fdd-2988-4b37-9755-bcb431c6d0c4","year":2008},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.977552Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:448c2930f7b82809f23d4deb38f51121ec32a02a4451cc4002bf99eeecfa8d0f","observation_id":"375981e7-53f6-422d-a89c-d97925b596a0","resolution":{"observed_at":"2026-08-14T14:25:24.243026Z","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-14T14:25:24.213130Z","title":"Belta, B","venue":null,"work_id":"c600dbb1-bfc5-449a-8a56-e5199f0e8931","year":2017},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.982301Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:5a316f61f3291d6472f7999b72ddb217765204b23d955fecad8581c15310a0fc","observation_id":"8082d44e-5a31-4838-bea3-d3a6bce07e34","resolution":{"observed_at":"2026-08-14T14:25:24.222042Z","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-14T14:25:24.191790Z","title":"Model checking of safety properties,","venue":null,"work_id":"8dc53d52-b39e-413f-8299-a7e28691e143","year":2001},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.987728Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:817b4d862b6e8ffa6243eb9917576b72c1f23de790d4ae71daa9b0099b3dd9e9","observation_id":"9843f592-6a21-4800-91c0-821970e6d1e8","resolution":{"observed_at":"2026-08-14T14:25:24.197910Z","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-14T14:25:24.170343Z","title":null,"venue":null,"work_id":"3ec9733e-36d0-4424-9302-187373c83b6b","year":1993},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.992964Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:0f7ee07530ba7289017c8e1229aa8c8b547a36e69b103ad79192847cd2ac3967","observation_id":"867dccc7-43a9-49a6-bcb9-e4da9606966a","resolution":{"observed_at":"2026-08-14T14:25:24.179272Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1010.5318","last_updated":"2010-12-30T06:50:32Z","snapshot_observed_at":"2026-08-15T05:04:51.095486Z","submitted_at":"2010-10-26T06:03:55Z","title":"Minimization of Automata","version":3},"cited_work":{"arxiv_id":"1010.5318","doi":null,"metadata_source":"pith","pith_arxiv_id":"1010.5318","snapshot_observed_at":"2026-08-14T14:25:24.065764Z","title":"Minimization of Automata","venue":"cs.FL","work_id":"a8f299ec-9871-4e90-9b0d-ccd1ea7c7ef7","year":2010},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:23.997928Z"},"links":{"cited_paper":"/paper/1010.5318","citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:aa2b85c8afd90ab62479f0ec94d020a6b33c4c534aecb4ccdaf76955e487306d","observation_id":"51660cfa-5abc-4f30-915b-489bca018838","resolution":{"observed_at":"2026-08-14T14:25:24.073173Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:25:24.152066Z","title":"Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach","venue":null,"work_id":"7d1bfbcf-383e-4895-9b0f-69d5d351060b","year":2009},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:24.003892Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:fbf001723a4692eb5eb3821cb8cef5df8dad18e87b6925ccde966d8cb05f2d98","observation_id":"ddd0d3fd-ae5e-4236-9f7f-802a4d2b8278","resolution":{"observed_at":"2026-08-14T14:25:24.157159Z","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-14T14:25:24.134662Z","title":null,"venue":null,"work_id":"435572cb-a8fc-4ad9-a111-66982151cfa6","year":2010},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:24.008953Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:8a1636eeed1b4adeefed0f38ba7650e7b8178ec3fc1589c6a92f457131abb43b","observation_id":"0ad80771-c070-4a60-8d11-34695b72f408","resolution":{"observed_at":"2026-08-14T14:25:24.139867Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:25:24.114961Z","title":"Safe reinforcement learning via shielding,","venue":null,"work_id":"fc01e7b8-db2e-404f-adba-7dc7fc45e2d7","year":2018},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:24.015714Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:01f9192a0e088cafa86e06b1e44a797b8a21bf0851e1aa32813c5cca97e55a3f","observation_id":"c469679a-3c1d-4aee-94f2-a4767a565d3b","resolution":{"observed_at":"2026-08-14T14:25:24.122137Z","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-14T14:25:24.020822Z","title":"F1/10: An open-source autonomous cyber-physical platform,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:25:24.020822Z"},"links":{"citing_paper":"/paper/1908.03284"},"observation_digest":"sha256:fbca07c0f65e3d821827f08d800638b63a8a5c8c5073a02a3497e8ba12a3640c","observation_id":"3569330c-6274-442b-90e5-4503981b9774","resolution":{"observed_at":"2026-08-14T14:25:24.020822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.03284","last_updated":"2019-08-08T22:48:41Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-16T10:58:39.045817Z","submitted_at":"2019-08-08T22:48:41Z","title":"Monitor-Based Runtime Assurance for Temporal Logic Specifications"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":1,"verified_fuzzy":16},"total_outbound_references":21},"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 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:1908.03284."}