{"as_of":"2026-08-12T17:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:87fccee344ac4ee647313033aaa0bd534920cfc76e23b5a25aed3cff59f885c8","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T09:52:21.496950Z","state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T09:47:40.168607Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-01T14:15:47.346192Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-08-03T09:47:40.168607Z","title":"Sentinel: A multi-level formal framework for safety evaluation of llm-based embodied agents,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.12641","last_updated":"2026-01-19T01:10:49Z","snapshot_observed_at":"2026-08-09T12:15:53.833957Z","submitted_at":"2026-01-19T01:10:49Z","title":"STEP-LLM: Generating CAD STEP Models from Natural Language with Large Language Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T09:47:40.168607Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2601.12641"},"observation_digest":"sha256:556b90ad1201e9997eae6ab3ac0ab28c7fc1e1c86c6a4b52aee9cc2aba913e93","observation_id":"4ad7b3be-ae1d-4683-9dbf-43941a3e6f33","resolution":{"observed_at":"2026-08-03T09:47:40.168607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":"2510.12985","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-07-22T01:22:14.626987Z","title":"SENTINEL: A multi-level formal framework for safety evaluation of foundation model-based embodied agents","venue":null,"work_id":"16242bb6-6c27-4d58-ad9b-f40d6a8e72eb","year":2025},"citing_paper":{"arxiv_id":"2605.12386","last_updated":"2026-06-10T17:48:14Z","snapshot_observed_at":"2026-08-12T01:41:57.876972Z","submitted_at":"2026-05-12T16:49:28Z","title":"SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-13T03:45:52.910108Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2605.12386"},"observation_digest":"sha256:826a2b02b94901789878ab16299050d49a6625d935f8904e0a1b106c8539567c","observation_id":"daa537db-5e6c-4d9f-baf3-83ce87796d4a","resolution":{"observed_at":"2026-07-22T01:22:14.626987Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":"2510.12985","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-07-22T01:22:14.626987Z","title":"SENTINEL: A multi-level formal framework for safety evaluation of foundation model-based embodied agents","venue":null,"work_id":"16242bb6-6c27-4d58-ad9b-f40d6a8e72eb","year":2025},"citing_paper":{"arxiv_id":"2605.12386","last_updated":"2026-06-10T17:48:14Z","snapshot_observed_at":"2026-08-12T01:41:57.876972Z","submitted_at":"2026-05-12T16:49:28Z","title":"SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-30T22:08:41.488683Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2605.12386"},"observation_digest":"sha256:2f3f8a63d2c5c6529e6c04392befdd1982b4681ab96db9162f512caf325e0336","observation_id":"bed56cea-aad5-4788-b385-8b9ca4bddc22","resolution":{"observed_at":"2026-07-22T01:22:14.626987Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"cited_work":{"arxiv_id":"2510.12985","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2510.12985","snapshot_observed_at":"2026-07-22T01:22:14.626987Z","title":"SENTINEL: A multi-level formal framework for safety evaluation of foundation model-based embodied agents","venue":null,"work_id":"16242bb6-6c27-4d58-ad9b-f40d6a8e72eb","year":2025},"citing_paper":{"arxiv_id":"2605.14274","last_updated":"2026-05-14T02:18:58Z","snapshot_observed_at":"2026-08-02T20:54:21.208623Z","submitted_at":"2026-05-14T02:18:58Z","title":"CreFlow: Corrective Reflow for Sparse-Reward Embodied Video Diffusion RL","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-15T02:42:08.454469Z"},"links":{"cited_paper":"/paper/2510.12985","citing_paper":"/paper/2605.14274"},"observation_digest":"sha256:b0ec58975b655410c23c50db6be6fb27fae58056670ba342fd06b7730ca6f2f8","observation_id":"e4c7054f-f770-4f47-8863-b8074a3c826b","resolution":{"observed_at":"2026-07-22T01:22:14.626987Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2510.12985/citation-record","integrity":"/paper/2510.12985/integrity","json":"/paper/2510.12985/citation-record.json","paper":"/paper/2510.12985"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:16.726952Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:16.726952Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:33836bc0382dcc59cd439592bf22e6f99f152d0dcf58edbe6b1751ad4ae8d68b","observation_id":"8e175678-7cd5-456d-ae15-a7d8df2b0b4d","resolution":{"observed_at":"2026-08-04T09:52:16.726952Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:16.806614Z","title":"Achiam, D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:16.806614Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:98c397e7926aeeb1d4cfed8b0d9abfa79ec2ed8c485bcab322ac236aee4cdecd","observation_id":"54821a54-9203-44ad-a85c-79b92efe09f4","resolution":{"observed_at":"2026-08-04T09:52:16.806614Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:16.880010Z","title":"Alshiekh, R","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:16.880010Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:5df552bf1521cb107169d823764a1db838b474d6966345b207d11f4bb6dfb24c","observation_id":"f89a4e09-4862-4152-86e0-4fa62c394ca5","resolution":{"observed_at":"2026-08-04T09:52:16.880010Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.038467Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.038467Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3dabb7055659021fc2f66a1aff50054d757e1e892623c70841549c2698fe5f1c","observation_id":"b9116fb6-56d9-47d1-a59c-64873e9f9aa6","resolution":{"observed_at":"2026-08-04T09:52:17.038467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.143221Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.143221Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:ffe842b768636be977da18bb40e015a40261c10c20d63e64c875a9f1b5df979c","observation_id":"251ad521-3da0-48de-968a-9de8ced2732c","resolution":{"observed_at":"2026-08-04T09:52:17.143221Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.258261Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.258261Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:e0ea95e3bd14cbfdd59c91f918f447514d5c6481c7fe07012a60e06d7a4228b9","observation_id":"0e1c2c91-04e0-4d95-8d7c-fe18e5373427","resolution":{"observed_at":"2026-08-04T09:52:17.258261Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.382489Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.382489Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:8bc6badf85623ee54735aa42a910902e7d027fd2e940ce4e16571b1d347ab9d3","observation_id":"7013629e-b18a-4cf4-9d8f-b02d9bda913b","resolution":{"observed_at":"2026-08-04T09:52:17.382489Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.06878","last_updated":"2024-12-09T18:59:04Z","snapshot_observed_at":"2026-08-11T19:17:18.464895Z","submitted_at":"2024-12-09T18:59:04Z","title":"SafeWatch: An Efficient Safety-Policy Following Video Guardrail Model with Transparent Explanations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.06878","snapshot_observed_at":"2026-08-04T09:52:17.496908Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.496908Z"},"links":{"cited_paper":"/paper/2412.06878","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:58b9ce23cb69c608372eed974b7ecba0afd954cec839f1f2b3fa89065e768001","observation_id":"917f89f4-882a-45ec-a744-7aa881cfadb9","resolution":{"observed_at":"2026-08-04T09:52:17.496908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.590840Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.590840Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:453f90097989bac3fd54334804f2806dd1bd69232c8d2f594f40070bed6e279a","observation_id":"8cd285e2-fc36-4895-bf5b-569154083f07","resolution":{"observed_at":"2026-08-04T09:52:17.590840Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.641565Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.641565Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3a5dcc27bf16d161bc73c46c6ed746f6d7fb34e8a54f182dd4afeaa6f0c3492f","observation_id":"9102a3be-1ef5-4ddd-a070-2c5cbf8e006d","resolution":{"observed_at":"2026-08-04T09:52:17.641565Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.738691Z","title":"Dawson, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.738691Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:2bca383ad295f554ce093bcfb6a441ea8a1f1dfbdb061458e5fa3d5e406eb16e","observation_id":"35ad9bb4-ebda-4c77-9a36-980433f18722","resolution":{"observed_at":"2026-08-04T09:52:17.738691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.752860Z","title":"Desai, T","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.752860Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:775d171fab49f1b44f1b672c8ef6e73d3f4a148be9e244392d28dc52ad4c00d5","observation_id":"a6ddb2f1-9e09-4ac6-aa87-f58366bd0a7e","resolution":{"observed_at":"2026-08-04T09:52:17.752860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.824513Z","title":"Duret-Lutz, E","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.824513Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:7a0ed0256f4f3b271334f429ce3623866f8912e6e1d52e699893e8b24d41d1d7","observation_id":"98ba30e7-f850-4c3e-ab7f-2d6ec085e8c7","resolution":{"observed_at":"2026-08-04T09:52:17.824513Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:17.941556Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:17.941556Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:9564a48a0e5db7158d31eb33386037583838ddcc39c9bdac6d186cf81f5ab594","observation_id":"0d3ef074-4fec-427b-a18c-0a4325a79827","resolution":{"observed_at":"2026-08-04T09:52:17.941556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.042202Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.042202Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:9f1ba524af55eb61e9d81b571b3ef181df91f2e56fc144110a12b2d5015f49a2","observation_id":"dddd79a6-5aae-44fe-bd08-600d326f9afd","resolution":{"observed_at":"2026-08-04T09:52:18.042202Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.216297Z","title":"Fuggitti and T","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.216297Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:2a83abab23a0a036c31d67b692141fb92e4e795fc7b37e78a78368edd8d57764","observation_id":"a0a468eb-29b8-421f-870e-bc6754f24f9e","resolution":{"observed_at":"2026-08-04T09:52:18.216297Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.325953Z","title":"Hensel, S","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.325953Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:0e9813ab082a089f5c234dd38907ee2dc85728046bb580c667782fb90477052b","observation_id":"7f2becd6-9e55-4593-9def-13171c13359c","resolution":{"observed_at":"2026-08-04T09:52:18.325953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.429398Z","title":"Howey, D","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.429398Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:45d90f48ddd05b7fc5d18c555d4a274a4b71f11f0a1fbab9b98a972c266b5368","observation_id":"34c6f2a0-a44b-4652-bb29-d15f4e92dc67","resolution":{"observed_at":"2026-08-04T09:52:18.429398Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1613/jair.1.11595","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Klauck, M","venue":"Journal of Artificial Intelligence Research","work_id":"c84f4541-2522-41fd-924b-b01004b08257","year":2020},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.520314Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:e2537570ef9f9a84a4880871ab1fb3384f419c6c518140b2af436ac310adc155","observation_id":"a90d2406-ef02-468a-96af-fc043804df2a","resolution":{"observed_at":"2026-08-04T09:53:25.509512Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-04T09:52:18.637747Z","title":"Kolve, R","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.637747Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:fb5862011f48ed162401296e9387712f80e684f42225f3a14ac02523e6cf5b71","observation_id":"34021f92-ee58-4449-9a67-fdf0e141cd79","resolution":{"observed_at":"2026-08-04T09:52:18.637747Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.725027Z","title":"Kwiatkowska, G","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.725027Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:de4b8fa64f44dae33fe27bb1a7daa6b77b6fe75b950d5745dbf8258b907c3a55","observation_id":"6077c918-ebe0-4246-840f-92fac1d742e2","resolution":{"observed_at":"2026-08-04T09:52:18.725027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.800484Z","title":"Lacerda, F","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.800484Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:902b92c7f2de0803322905b447c4320ace932675c6a35ceb7718a9fff1b5db2e","observation_id":"eb9f55e4-211a-4cb7-bec7-57cd9aaded4b","resolution":{"observed_at":"2026-08-04T09:52:18.800484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:18.881890Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:18.881890Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:df9b4f7fced2d4a59843188c290710ee2e90a6fcedef307083f70347198dda5a","observation_id":"a222da8f-1514-45da-9095-c4ea34b52c43","resolution":{"observed_at":"2026-08-04T09:52:18.881890Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.046386Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.046386Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:b518c0b6c9994d373f354d53307b284f98309449f4ed626594d7722c49b075c5","observation_id":"7ccac44e-4f10-4b54-8881-0106f350b13d","resolution":{"observed_at":"2026-08-04T09:52:19.046386Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.169229Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.169229Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:ba11f344ff5297f8a53c18b963b0df6e99576ddb85655187f8fddea10f0bd4c3","observation_id":"fb89e215-7909-4b92-860f-7ae6b3819ada","resolution":{"observed_at":"2026-08-04T09:52:19.169229Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.211115Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.211115Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:37177469c2a4e3bcf9751072b260e96729e130d70765bd2417c46a6173b7b8ab","observation_id":"70f26964-91ca-4a61-bac3-71e236784b3d","resolution":{"observed_at":"2026-08-04T09:52:19.211115Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.305656Z","title":"Maler and D","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.305656Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:161bf9901d65b3a9dde7fed0cfbc77486ee4cfe5973c239eb00f2dc7d2b166f7","observation_id":"76a16457-ea9c-4f19-8fba-33ed4d821a97","resolution":{"observed_at":"2026-08-04T09:52:19.305656Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.446531Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.446531Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:91e72518b6619f38c18ed5488d731980f47ec3f64fbec69a583796151f0727b6","observation_id":"fd622d13-c768-4728-a90f-521ebf206ed4","resolution":{"observed_at":"2026-08-04T09:52:19.446531Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.506756Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.506756Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:8e77229e94b6e5bbd97a9ec8cd7d65d1411bee19889aa457430591423c48fb6e","observation_id":"a0f51ab8-07a4-489b-ad4a-90f1754455fe","resolution":{"observed_at":"2026-08-04T09:52:19.506756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.542626Z","title":"Savva, A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.542626Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:0c622803e1b84abda53dfe1f549c72371eaa58d1ca5f04b44e21a3d25986cd6a","observation_id":"c3fafbb1-19f0-4037-ab09-f07e618d1699","resolution":{"observed_at":"2026-08-04T09:52:19.542626Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.665349Z","title":"Shridhar, J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.665349Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:e71ad2fd5a9b964b18702c66091f833baa8c317f8aaecfea348beaf68d04d39e","observation_id":"61eb9785-7a28-44dc-830c-34d35419c3b4","resolution":{"observed_at":"2026-08-04T09:52:19.665349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.02317","last_updated":"2026-02-19T16:30:29Z","snapshot_observed_at":"2026-08-11T22:11:04.492736Z","submitted_at":"2024-11-04T17:41:25Z","title":"Defining and Evaluating Physical Safety for Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.02317","snapshot_observed_at":"2026-08-04T09:52:19.783900Z","title":"Tang, P.-Y","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.783900Z"},"links":{"cited_paper":"/paper/2411.02317","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:0cefdca66bb50ec7743deddb333586dbe39e18ac9db0f48872184f0efece8423","observation_id":"5cc04674-beb7-4e3d-8252-df864e4db8d1","resolution":{"observed_at":"2026-08-04T09:52:19.783900Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.843853Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.843853Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:2663979a8ca149c957005d5949985b5345fd2b30d27aa3397ea1d3b2e871213b","observation_id":"316929f4-e7cb-44db-a38c-dfc0845e266b","resolution":{"observed_at":"2026-08-04T09:52:19.843853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:19.901660Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:19.901660Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:2645f331eed9d4f492943626ca9ca9dbc995a07ad4eca5f909afe197823c1648","observation_id":"6a999039-b54b-4f79-8546-64da7c9532f7","resolution":{"observed_at":"2026-08-04T09:52:19.901660Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.000949Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.000949Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:f23815e65e64f90b2e22c6552df6a8a103627d26f4c0d569a16edfcf5a142d60","observation_id":"b61c5086-614d-4ee0-b536-35feda1fecc1","resolution":{"observed_at":"2026-08-04T09:52:20.000949Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.101453Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.101453Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:49e186b02da1e5a2495df8dd960864de207247f55d7e8de5c448081ef7cf8479","observation_id":"4d875041-6b13-4d51-a9c0-7365dd6ad4e3","resolution":{"observed_at":"2026-08-04T09:52:20.101453Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.11221","last_updated":"2025-06-23T05:32:12Z","snapshot_observed_at":"2026-08-07T18:14:28.926787Z","submitted_at":"2025-02-16T17:54:57Z","title":"PlanGenLLMs: A Modern Survey of LLM Planning Capabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.11221","snapshot_observed_at":"2026-08-04T09:52:20.184612Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.184612Z"},"links":{"cited_paper":"/paper/2502.11221","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:324fceae3b62ad0641e43bc55a4ee65881aaefc987892be781c5871aaae102f3","observation_id":"c0d002ac-82f7-42cf-a994-702a1497c0fc","resolution":{"observed_at":"2026-08-04T09:52:20.184612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.299447Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.299447Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:aa37c24d0f4607806d768cc52e7494bbfe2a96907cbaebfc5fc9941ace5892d2","observation_id":"445fb2a7-ee4a-4268-9da3-d4bb1d68dbce","resolution":{"observed_at":"2026-08-04T09:52:20.299447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.449046Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.449046Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:201cbb4003e7b39f64f9a61a219853f1fa22048fa92c6e0764874513370f083d","observation_id":"4270cc7b-1cac-4c0d-b04a-e93c2f1ed834","resolution":{"observed_at":"2026-08-04T09:52:20.449046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.10019","last_updated":"2024-10-05T06:50:15Z","snapshot_observed_at":"2026-08-06T04:21:24.397587Z","submitted_at":"2024-01-18T14:40:46Z","title":"R-Judge: Benchmarking Safety Risk Awareness for LLM Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.10019","snapshot_observed_at":"2026-08-04T09:52:20.546491Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.546491Z"},"links":{"cited_paper":"/paper/2401.10019","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:27c268e09ca5c8b809c1430deac9599780a7d7bafe44d20c680ceaea9a9ad3f5","observation_id":"5d89de49-1012-4e06-be02-7e1de5e1f376","resolution":{"observed_at":"2026-08-04T09:52:20.546491Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.03035","last_updated":"2024-03-05T15:14:32Z","snapshot_observed_at":"2026-08-04T19:10:55.149351Z","submitted_at":"2024-03-05T15:14:32Z","title":"Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.03035","snapshot_observed_at":"2026-08-04T09:52:20.583831Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.583831Z"},"links":{"cited_paper":"/paper/2403.03035","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:3fd7e530bde0a7ee525fdbdc36c93f810d02d8c2a894b35d989d41315a7f9d7c","observation_id":"4f8a3818-7358-4a8a-bd4b-f89d10978a0d","resolution":{"observed_at":"2026-08-04T09:52:20.583831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:20.696401Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.696401Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:26775ca2af8a5372bc4114464ac9b6273580d1df5b51188ad1a129c5ea29fb68","observation_id":"256b3fab-06b7-4027-bd40-0496ade2fb88","resolution":{"observed_at":"2026-08-04T09:52:20.696401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.20560","last_updated":"2025-03-13T06:17:58Z","snapshot_observed_at":"2026-08-10T10:52:01.812487Z","submitted_at":"2024-09-30T17:58:18Z","title":"LaMMA-P: Generalizable Multi-Agent Long-Horizon Task Allocation and Planning with LM-Driven PDDL Planner","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.20560","snapshot_observed_at":"2026-08-04T09:52:20.864057Z","title":"Zhang, H","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.864057Z"},"links":{"cited_paper":"/paper/2409.20560","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:e74aeb15715e50c39b5af0bebb69f797c24e75e912024bae4d34614e83bfe4ee","observation_id":"04e4b44e-bed4-4826-a04a-b21dff35d341","resolution":{"observed_at":"2026-08-04T09:52:20.864057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12975","last_updated":"2024-01-23T18:59:43Z","snapshot_observed_at":"2026-08-11T17:29:26.689128Z","submitted_at":"2024-01-23T18:59:43Z","title":"HAZARD Challenge: Embodied Decision Making in Dynamically Changing Environments","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.12975","snapshot_observed_at":"2026-08-04T09:52:20.980724Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:20.980724Z"},"links":{"cited_paper":"/paper/2401.12975","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:1a3dc994300d003e08140e4920eeb73c9902bf9abc706ac4d1c7dbe54047e19e","observation_id":"30443069-a4cf-4f12-92cf-651dad8d3ffb","resolution":{"observed_at":"2026-08-04T09:52:20.980724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.109937Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.109937Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:2fbdde96bacf1c9fbcce935ad23bfb4c2ec94c526e0d368809740ba46108a71e","observation_id":"7ff51308-cb94-4fac-9030-829faa53bafe","resolution":{"observed_at":"2026-08-04T09:52:21.109937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.04449","last_updated":"2024-11-28T12:28:02Z","snapshot_observed_at":"2026-07-06T18:58:22.457329Z","submitted_at":"2024-08-08T13:19:37Z","title":"EARBench: Towards Evaluating Physical Risk Awareness for Task Planning of Foundation Model-based Embodied AI Agents","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.04449","snapshot_observed_at":"2026-08-04T09:52:21.230370Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.230370Z"},"links":{"cited_paper":"/paper/2408.04449","citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:d45ac6585ad73dfe72c50703d493ced51f000466cf608e10eb75f1e79d431912","observation_id":"41ca27e6-ebc0-4c5c-8308-5842b9be456d","resolution":{"observed_at":"2026-08-04T09:52:21.230370Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.303102Z","title":"@esa (Ref","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.303102Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:c2dec7d41e86c593146b5384edd983a745a1c8b1f7ce44fd2627d0e6013c9135","observation_id":"ba99bb96-6dd0-46b9-9f54-627a2266ea88","resolution":{"observed_at":"2026-08-04T09:52:21.303102Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.383456Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.383456Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:087db3c87772c6659ab7607267e12e271c8f3abc9c11ee16cd471da90d9fa3e0","observation_id":"26af7f7f-f4c1-488a-aeb3-b67c1daa1de4","resolution":{"observed_at":"2026-08-04T09:52:21.383456Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T09:52:21.496950Z","title":"never place flammable objects near the stove","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents","version":3},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-04T09:52:21.496950Z"},"links":{"citing_paper":"/paper/2510.12985"},"observation_digest":"sha256:b43d1e25f834fbc95dd77c0bbb632c6716b663dbef845384a835468ae087e706","observation_id":"c53720e8-eff9-414b-bc0d-7e390be2ea37","resolution":{"observed_at":"2026-08-04T09:52:21.496950Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2510.12985","last_updated":"2026-07-20T21:59:39Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-10T10:49:54.607044Z","submitted_at":"2025-10-14T20:53:51Z","title":"SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":47,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":49},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 4 inbound Pith citation observations for arXiv:2510.12985."}