{"as_of":"2026-08-16T04:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cec0577aca5ebbf9abfbf7aed2b1790e84cd5933f4614f2331a94ecea3ff1c85","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:39:50.017664Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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.04903/citation-record","integrity":"/paper/1908.04903/integrity","json":"/paper/1908.04903/citation-record.json","paper":"/paper/1908.04903"},"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-14T13:39:50.839100Z","title":"Towards formal synthesis of reactive controllers for dexter- ous robotic manipulation,","venue":null,"work_id":"ab80f852-705b-49e4-9174-6ec2475b2f4f","year":2012},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.782525Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:be118093dba138519af2afc0811fd20e3e22400da774be309e0604dee6d4fbec","observation_id":"0d723e3b-87b5-4f29-af0a-cea9a02a81e3","resolution":{"observed_at":"2026-08-14T13:39:50.845014Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.821206Z","title":"Hierarchical task and motion planning in the now,","venue":null,"work_id":"fccdb992-0fb6-4623-a46e-57508eae1502","year":2011},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.788519Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:e90c848068572c42a1563b5f5e88f0527e2c0182251c65ca5c59162609934e1c","observation_id":"6790ad59-b6c0-4226-8e29-f9d688b2b43e","resolution":{"observed_at":"2026-08-14T13:39:50.826477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.802588Z","title":"Safe certificate-based ma- neuvers for teams of quadrotors using differential flatness,","venue":null,"work_id":"4c8efc02-1c25-4cfd-9486-33bf69a1b795","year":2017},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.794586Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:37af7d8fea4b490ddbe8fa753377f357aeb7d3c9d98ca5f3fecfdde3ee28eebf","observation_id":"a165f26d-d3cc-4710-8f15-7c962a37326a","resolution":{"observed_at":"2026-08-14T13:39:50.808356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.781109Z","title":"Trustworthy cyber infrastructure for the power grid (tcip-g),","venue":null,"work_id":"1eaaba1e-8c7d-40cb-a86c-878c5e543ba6","year":null},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.799402Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:a6899341fa8f5d801582954c7e68867494ef648225c9a5a04f11b0c4e11e390a","observation_id":"3995be88-d290-4fa8-8d08-3fba237165bd","resolution":{"observed_at":"2026-08-14T13:39:50.787248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.742251Z","title":"Your first look inside amazon’s robot warehouse of tomorrow,","venue":null,"work_id":"aaef137d-8d6a-4ad8-a890-0f00c008a0bd","year":2019},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.808510Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:9c07b4d51a3323ea054fc577f44933d05735fc294e333584dc9a2c67a73a216c","observation_id":"6b86e295-f1f3-4c27-ad69-8e7a094f3521","resolution":{"observed_at":"2026-08-14T13:39:50.748051Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.724229Z","title":"Available: https://www.dhs.gov/cisa/ critical-infrastructure-sectors","venue":null,"work_id":"c3531f6e-5705-4d00-a0b7-d23635a23e12","year":null},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.813277Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:e6801fa1e692c72ef71adefb08121a6f085e3ead4af5ad919dd8b8b80629eb2c","observation_id":"675139f2-ebeb-4533-a896-e2e6c61aba67","resolution":{"observed_at":"2026-08-14T13:39:50.730060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:49.818206Z","title":"Interior methods for nonlinear optimization,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.818206Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:9abf3459bbbe9316f605ae9ccbe501d91f0b9e10a4e047930582c4eeceb990b9","observation_id":"14e96775-3d9f-4477-8e36-f0254e5c8375","resolution":{"observed_at":"2026-08-14T13:39:49.818206Z","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-14T13:39:50.693267Z","title":"Control barrier function based quadratic programs with application to adaptive cruise control,","venue":null,"work_id":"d4371121-693a-434b-8c7a-0b88951da0c8","year":2014},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.822903Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:de3067ec3343ea0c021017f32ae25250526d19226dce09c14bc93f620ace441a","observation_id":"26607d83-3924-4f7d-8299-2642f216aeb1","resolution":{"observed_at":"2026-08-14T13:39:50.699097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1612.01554","last_updated":"2016-12-05T21:23:01Z","snapshot_observed_at":"2026-08-14T21:27:01.248265Z","submitted_at":"2016-12-05T21:23:01Z","title":"Robustness of Control Barrier Functions for Safety Critical Control","version":1},"cited_work":{"arxiv_id":"1612.01554","doi":null,"metadata_source":"pith","pith_arxiv_id":"1612.01554","snapshot_observed_at":"2026-08-14T13:39:50.105600Z","title":"Robustness of Control Barrier Functions for Safety Critical Control","venue":"math.OC","work_id":"1f30d64f-04d9-4a68-b378-c6cd410a9bb7","year":2016},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.829329Z"},"links":{"cited_paper":"/paper/1612.01554","citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:51b65c927a844e5f55421b750a0bf97f85455ce4559dfc1341beb3da22e74aae","observation_id":"0770db38-e22a-4b05-ba5c-35ca84db2b0d","resolution":{"observed_at":"2026-08-14T13:39:50.110552Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.675841Z","title":"Safety barrier certificates for collisions-free multirobot systems,","venue":null,"work_id":"eec6d5b4-a740-4e42-8667-a4a96cfb54dc","year":2017},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.835277Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:35cdd810a4b28e1434a71d2321b04474424c1c3061b90c0d9c55f686ced42229","observation_id":"b09e39f1-50a8-418f-9f95-fa5c4268b861","resolution":{"observed_at":"2026-08-14T13:39:50.681123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.656186Z","title":"Safety barrier certificates for het- erogeneous multi-robot systems,","venue":null,"work_id":"aa993b06-d3ea-4f4a-93a9-c56b3e8faf46","year":2016},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.840439Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:c6216e003eb88cc2f739ff3d1d7af1c64962ba40276f55e18a3f82dc28b814cf","observation_id":"4a84ec34-d6ee-44d9-b00e-a77353a7e740","resolution":{"observed_at":"2026-08-14T13:39:50.662059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.638217Z","title":"Formally correct composition of coordinated behaviors using control barrier certificates,","venue":null,"work_id":"9bd18343-cd73-490f-8a9b-da7e7abb1053","year":2018},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.845662Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:edf4e751b1edcf24382c8cd47bda6697c98d1a3b2b30cc8965f4be53b21011b6","observation_id":"003905ab-5087-4fe0-84c6-7e647d2bb286","resolution":{"observed_at":"2026-08-14T13:39:50.643199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.619233Z","title":"Control of multi-agent systems with finite time control barrier certificates and temporal logic,","venue":null,"work_id":"a593e59b-474e-4b0d-9389-ee36e3a9c648","year":2018},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.850721Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:7b7e021e39b3bddf1c2b94e0deac24cb412c050f8e80e4b629f768d3195f83d3","observation_id":"cba7080b-507e-4b9c-ab74-dac99e3598ee","resolution":{"observed_at":"2026-08-14T13:39:50.626534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.600816Z","title":"Barrier function certificates for forward invariance in hybrid inclusions,","venue":null,"work_id":"b1c03592-79aa-4850-892f-5632056178a7","year":2018},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.856021Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:cf7ef1173ccd6afc3da38b3239781e8ab51d998041a3bcd32129769d5c333623","observation_id":"f3610025-dd26-4314-b0e3-8778c03b0245","resolution":{"observed_at":"2026-08-14T13:39:50.607076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.580645Z","title":"Baier and J.-P","venue":null,"work_id":"186430d4-f438-4e48-ba97-c76501455dda","year":2008},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.860849Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:73aac79b792ce78705795b4f6f43c2c3d89249fee3a6105df0d5cf11c680a92c","observation_id":"03f125d5-6a62-4a07-a5df-a8e898f7e5dd","resolution":{"observed_at":"2026-08-14T13:39:50.586828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.560927Z","title":"Discrete abstractions of hybrid systems,","venue":null,"work_id":"fde354e2-b070-45ec-b945-3d0ea8469e48","year":2000},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.866000Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:d1346e88ba9d06265e36dc16b4ce8b1a7a7e4f3eafd6d738e8737eabea89fc52","observation_id":"18735191-1f5a-4d81-a2a8-6a3ed1f22685","resolution":{"observed_at":"2026-08-14T13:39:50.566597Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.541970Z","title":"Controlling a class of nonlin- ear systems on rectangles,","venue":null,"work_id":"00df0a65-e708-4717-80ab-5aada8c969f1","year":2006},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.871022Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:807639247c8b56541e6a8a3af2cc8676444c8baca2911feb8ae26b64929b5ade","observation_id":"255b8528-9c55-4de6-a0eb-e47839207803","resolution":{"observed_at":"2026-08-14T13:39:50.547732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.523033Z","title":"A fully automated framework for control of linear systems from temporal logic specifications,","venue":null,"work_id":"bb455179-dcf2-4fdd-aa8f-b5d69de0e3a0","year":2008},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.876615Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:4af2aed075981906db85627be916fb064aa352c31e69b3bc277f58c1d8f94bc8","observation_id":"42ca6a42-0828-4f62-b673-a152fe6bf40c","resolution":{"observed_at":"2026-08-14T13:39:50.529117Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.506103Z","title":"Receding horizon temporal logic planning,","venue":null,"work_id":"4007f42f-e634-46b1-96f2-ff1ebf0b0974","year":2012},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.881525Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:dc138f1d58367b41bb961fcb89113c39ed462df51de8f6bca28bc4beebfd49ef","observation_id":"ed727f32-209e-4115-87e6-6fbda8d75410","resolution":{"observed_at":"2026-08-14T13:39:50.511285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.489578Z","title":"Motion planning with complex goals,","venue":null,"work_id":"715c8d48-6d8f-4fb7-bd93-ed2389e686bb","year":2011},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.887309Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:21f4185a671fe6bec20c2988665c3b5499c92b8b541b7f8f05c4886b48e9df0b","observation_id":"c973dfc0-b433-414a-acad-8bdfcf6ceb06","resolution":{"observed_at":"2026-08-14T13:39:50.494828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:49.893378Z","title":"Temporal logic motion planning for dynamic robots,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.893378Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:34df30ad0ad17a4c084fb22de9941278825dd4489e85fb70c0c37c10ad1de115","observation_id":"d1d73f20-e159-4aa5-ad09-de2e91df48c6","resolution":{"observed_at":"2026-08-14T13:39:49.893378Z","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-14T13:39:50.460085Z","title":"Control barrier functions for signal temporal logic tasks,","venue":null,"work_id":"4acb74ca-0f49-4083-9c94-f69469ff33e4","year":2019},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.899167Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:d8f747fa1c1476fdb0e51e7f0b290f8c105d0735733fcedf363d5d41c4518467","observation_id":"02abe1ae-dcaa-4442-9416-0802631cbdc2","resolution":{"observed_at":"2026-08-14T13:39:50.467066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.442037Z","title":"Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks,","venue":null,"work_id":"ecee1971-959b-4b98-9342-5a15185c5b86","year":2019},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.906115Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:5779884d2125bb05b70b366f307b44b0834061ec8dc6c4196468c99a087b9d89","observation_id":"8adadc58-c37b-4b7f-8d1b-1413daf55ceb","resolution":{"observed_at":"2026-08-14T13:39:50.447640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:49.911362Z","title":"Model predictive control with signal temporal logic specifications,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.911362Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:9d943772b97cbe2d376146653bb826713c46e392ea71b97e910eee1fb157efa0","observation_id":"6617ac19-759a-40ce-95aa-644425e29778","resolution":{"observed_at":"2026-08-14T13:39:49.911362Z","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-14T13:39:50.413431Z","title":"Formal methods for control synthesis: An optimization perspective,","venue":null,"work_id":"5dae7e4d-8bbd-4cc4-89ad-c242081b6261","year":2019},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.916664Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:c096bc193e1e2b1730b75994ced76c8f7a7516b9838e0b552db48bd64e97532e","observation_id":"89d8ee29-5c93-4a79-b7de-b3d451ede394","resolution":{"observed_at":"2026-08-14T13:39:50.419151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.397599Z","title":"Distributed communication- aware motion planning for multi-agent systems from stl and spatel specifications,","venue":null,"work_id":"7e13d1bf-497c-4118-9b0e-60b29583ebc5","year":2017},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.921589Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:607b23d58a5bfd7f586d2542fab6e22d8018f83b407133578262bdb4ea637439","observation_id":"66b25f85-044a-4614-888c-eddd8c89617e","resolution":{"observed_at":"2026-08-14T13:39:50.402808Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.379401Z","title":"Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications,","venue":null,"work_id":"da741ddd-94e2-4ae6-bbdf-e856e7377892","year":2017},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.926508Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:f5238ed6311d7755af36207352d11007b550df586c51d406bd6b9c468c98b5e7","observation_id":"fa874061-ab69-442a-909b-22f72cff7207","resolution":{"observed_at":"2026-08-14T13:39:50.385293Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.361336Z","title":"Q-learning for robust satisfaction of signal temporal logic specifications,","venue":null,"work_id":"3fe14df2-ab63-44aa-8a5a-8e88ccd00848","year":2016},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.931498Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:4874e059159b70259e75bc69117304116381c43fe869f37e1684344cdcbda0c8","observation_id":"1673eb6f-799a-4830-99f7-994972d894d4","resolution":{"observed_at":"2026-08-14T13:39:50.366850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.346084Z","title":"Enforcing signal temporal logic specifications in multi-agent adversarial environments: A deep q-learning approach,","venue":null,"work_id":"e87d099d-d7fb-4a59-9ec2-50acefd28001","year":2018},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.936848Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:5ee52f04c9a1a65f6d7b98765cc976fae38351d3790c5ce41a0b27aa4e3e0c92","observation_id":"c342c177-9158-4d22-92d0-25ba54c45115","resolution":{"observed_at":"2026-08-14T13:39:50.351038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1903.04340","last_updated":"2019-03-11T14:52:44Z","snapshot_observed_at":"2026-08-14T17:04:15.944751Z","submitted_at":"2019-03-11T14:52:44Z","title":"Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.04340","snapshot_observed_at":"2026-08-14T13:39:49.941160Z","title":"Prescribed performance control guided policy improvement for satisfying signal temporal logic tasks,","venue":null,"work_id":null,"year":1903},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.941160Z"},"links":{"cited_paper":"/paper/1903.04340","citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:65f6595b663fdf6906bc1536dc8a0576afec4aa41b217a6ce5b489f03739bf88","observation_id":"6837f067-4305-48d6-8b24-ccf5ebda676e","resolution":{"observed_at":"2026-08-14T13:39:49.941160Z","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-14T13:39:50.328855Z","title":"Decentralized robust control of coupled multi-agent systems under local signal temporal logic tasks,","venue":null,"work_id":"21b7f202-fd32-401d-9128-1e9fb1f91f0f","year":2018},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.946142Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:ccfab64fc266f3ce8f7403343ffd3300519c2c7118958f3a02d9964b30f379ae","observation_id":"9907f74b-148d-433e-ade8-4a0f7767a60e","resolution":{"observed_at":"2026-08-14T13:39:50.334806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.313250Z","title":"Fly-by-logic: Control of multi-drone fleets with temporal logic objectives,","venue":null,"work_id":"7e41f218-3bac-469b-8009-84b0e41ace18","year":2018},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.950934Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:fb5154dd3dbb0a05772e2fe08856312d08983d39503977f6c1de24a4ae1458cc","observation_id":"1d712c22-38f7-457d-8c9e-ca03de3e1846","resolution":{"observed_at":"2026-08-14T13:39:50.318214Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.296239Z","title":"Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,","venue":null,"work_id":"ab361ec5-42c6-4c43-a910-7c78b2d3c56c","year":2016},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.955665Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:3a04f645e412bd94253617fd4e6334be6a6fb3177ff80954b53d1445fea58a2d","observation_id":"75c07be0-749e-453d-a54d-12b49e83b244","resolution":{"observed_at":"2026-08-14T13:39:50.301592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.279373Z","title":"Control barrier functions for systems with high relative degree,","venue":null,"work_id":"b41d01a9-766c-46b0-b459-8870f0a00f9e","year":2019},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.960946Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:ea6cceb70c5538cb28f8ec515e671c5c407c788048ad32d51f55a6e8916db861","observation_id":"a6f00957-c625-4a7b-9351-88c2ae737ffe","resolution":{"observed_at":"2026-08-14T13:39:50.284818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1903.08641","last_updated":"2019-09-02T21:42:53Z","snapshot_observed_at":"2026-08-14T16:59:15.740088Z","submitted_at":"2019-03-20T17:57:49Z","title":"An Optimal Task Allocation Strategy for Heterogeneous Multi-Robot Systems","version":2},"cited_work":{"arxiv_id":"1903.08641","doi":null,"metadata_source":"pith","pith_arxiv_id":"1903.08641","snapshot_observed_at":"2026-08-14T13:39:50.059234Z","title":"An Optimal Task Allocation Strategy for Heterogeneous Multi-Robot Systems","venue":"cs.RO","work_id":"8d62c7cc-2d0b-4401-b3fd-c56a197b3343","year":2019},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.966001Z"},"links":{"cited_paper":"/paper/1903.08641","citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:6da449f60c1ec2bcc8eb726f51c80519d2b2c2f2fd9470919e51e9c08e786641","observation_id":"8957ff64-223b-432e-861f-d87b2269b948","resolution":{"observed_at":"2026-08-14T13:39:50.066982Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.263082Z","title":null,"venue":null,"work_id":"e586351c-c052-414b-b72e-958eed9c5817","year":null},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.971587Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:80de7bd91eacd653c820fe2e2dc71b99abd701f4d2c1a7873724cc30436ca040","observation_id":"1ae6e154-8c53-401b-a3f9-8cc6fb42bd00","resolution":{"observed_at":"2026-08-14T13:39:50.268072Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.243197Z","title":"Revising motion planning under linear temporal logic specifications in partially known workspaces,","venue":null,"work_id":"220f4599-d0ae-4361-8d53-7209001461a8","year":2013},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.978296Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:3d7ae8824ade6f0efa72def2d137dd2dbbda6cdaa05e5a28cfd8b095b211be76","observation_id":"9cd32eba-e014-480f-9bb3-4715e0081efe","resolution":{"observed_at":"2026-08-14T13:39:50.252503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.226980Z","title":"Efficient reactive controller synthesis for a fragment of linear temporal logic,","venue":null,"work_id":"c8adf530-cc8c-4341-ac52-137ea4278f76","year":2013},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.984117Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:4dbfca020ca488eb0254d192116b9253f6e9ff9a79a60f21ad4fc3eefab57548","observation_id":"2f23ddad-ccd0-4844-84b4-c88a1960439a","resolution":{"observed_at":"2026-08-14T13:39:50.232653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.210763Z","title":"Temporal-logic-based reactive mission and motion planning,","venue":null,"work_id":"1507e11a-4fa5-4031-abd9-0cf6d5dbee9a","year":2009},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.989868Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:a5d64ce9f71d9c980286466a64b8d8c4ac18ef09bf6825c1002b06c83fc9ab25","observation_id":"38ac5899-dd4b-4adf-8759-021d0a11577b","resolution":{"observed_at":"2026-08-14T13:39:50.215885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.190831Z","title":"Automata theory meets barrier certificates: Temporal logic verification of nonlinear sys- tems,","venue":null,"work_id":"e18413ea-9cdc-4b9e-a8c3-6cce58f946d7","year":2016},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.994916Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:be355f98413f28c3ff4b743a1da458c1f52250d822ddcea34d7c96beca88f9eb","observation_id":"c0dff56c-d735-48c1-a41a-d7ccdef0fd9f","resolution":{"observed_at":"2026-08-14T13:39:50.196804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.173456Z","title":"Control barrier function based quadratic programs for safety critical systems,","venue":null,"work_id":"f8438f1e-57de-48fb-aeb5-356e11bcb668","year":2017},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:50.000408Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:00a7f700e39abb43770c78f5dbc6e963f06b59e767eb8916b754b2146714d1fc","observation_id":"9856b1cb-7682-47f2-b962-a0be605a326f","resolution":{"observed_at":"2026-08-14T13:39:50.178942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.156956Z","title":"The robotarium: A remotely accessible swarm robotics research testbed,","venue":null,"work_id":"1a286761-9561-40c7-b2d2-b55d738bf901","year":2017},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:50.006998Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:8c68bd08deeb68b0a0b631c693ee22c18c735913f7e24bf00fe887f427d6f250","observation_id":"6450bc53-f834-407c-ab4b-bf2b11283064","resolution":{"observed_at":"2026-08-14T13:39:50.162283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.139333Z","title":"Hybrid nonsmooth barrier functions with applications to provably safe and composable collision avoidance for robotic systems,","venue":null,"work_id":"7fda7f5c-5abe-4ffb-b082-aac0d7adb3ed","year":2019},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:50.012364Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:36468d82be70ea189e20983bce29f29f3dd5ce47ef8fca176503c5fd91d7ebc8","observation_id":"4eab321c-dd32-456c-8e7b-9de74eff5028","resolution":{"observed_at":"2026-08-14T13:39:50.144853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.121768Z","title":"Near-identity diffeomorphisms and exponential ε- tracking and ε-stabilization of first-order nonholonomic SE(2) vehicles,","venue":null,"work_id":"97320c92-e619-4e1c-b4e1-0fb5f3e4dfbf","year":2002},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:50.017664Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:7b1a78b5419e95d45be7dc4f56f6d3044afa5ebf2391a101b4f42982d35cb3b1","observation_id":"009c8d55-3bc3-45b2-86f7-56a9f278d986","resolution":{"observed_at":"2026-08-14T13:39:50.127615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T13:39:50.761808Z","title":"Available: https://www.dhs.gov/science-and-technology/ trustworthy-cyber-infrastructure-power-grid-tcip-g","venue":null,"work_id":"89ef9e4c-43a2-4b8a-a778-c4cd5ce2c568","year":null},"citing_paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-14T13:39:49.804055Z"},"links":{"citing_paper":"/paper/1908.04903"},"observation_digest":"sha256:84eb119f05936947929cbe3f0a77e3c61e43fbf3db7ad47f1396836423d53ffb","observation_id":"9ba32455-9337-42fd-be70-b013c7f43a74","resolution":{"observed_at":"2026-08-14T13:39:50.767991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.04903","last_updated":"2020-03-29T00:48:40Z","latest_version":2,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-14T13:26:48.765238Z","submitted_at":"2019-08-14T00:59:24Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":2,"verified_fuzzy":38},"total_outbound_references":45},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:1908.04903."}