Pith. sign in

Paper Citation Record · LEDGER

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2510.12985 v3

Coverage vector

measured 49 of 49 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T09:52:21.496950Z

measured 53 of 53 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T09:47:40.168607Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-01T14:15:47.346192Z

Reference resolution

49 of 49 outbound references displayed

  • verified exact1
  • verified fuzzy0
  • unresolved47
  • parse uncertain0
  • malformed identifier1
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8e175678-7cd5-456d-ae15-a7d8df2b0b4d · outbound

This paper cites write newline.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents write newline

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:16.726952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:16.726952Z digest=sha256:33836bc0382dcc59cd439592bf22e6f99f152d0dcf58edbe6b1751ad4ae8d68b

Observation 54821a54-9203-44ad-a85c-79b92efe09f4 · outbound

This paper cites Achiam, D.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Achiam, D

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:16.806614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:16.806614Z digest=sha256:98c397e7926aeeb1d4cfed8b0d9abfa79ec2ed8c485bcab322ac236aee4cdecd

Observation f89a4e09-4862-4152-86e0-4fa62c394ca5 · outbound

This paper cites Alshiekh, R.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Alshiekh, R

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:16.880010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:16.880010Z digest=sha256:5df552bf1521cb107169d823764a1db838b474d6966345b207d11f4bb6dfb24c

Observation b9116fb6-56d9-47d1-a59c-64873e9f9aa6 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.038467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.038467Z digest=sha256:3dabb7055659021fc2f66a1aff50054d757e1e892623c70841549c2698fe5f1c

Observation 251ad521-3da0-48de-968a-9de8ced2732c · outbound

This paper cites Baier and J.-P.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Baier and J.-P

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.143221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.143221Z digest=sha256:ffe842b768636be977da18bb40e015a40261c10c20d63e64c875a9f1b5df979c

Observation 0e1c2c91-04e0-4d95-8d7c-fe18e5373427 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.258261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.258261Z digest=sha256:e0ea95e3bd14cbfdd59c91f918f447514d5c6481c7fe07012a60e06d7a4228b9

Observation 7013629e-b18a-4cf4-9d8f-b02d9bda913b · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.382489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.382489Z digest=sha256:8bc6badf85623ee54735aa42a910902e7d027fd2e940ce4e16571b1d347ab9d3

Observation 917f89f4-882a-45ec-a744-7aa881cfadb9 · outbound

This paper cites SafeWatch: An Efficient Safety-Policy Following Video Guardrail Model with Transparent Explanations.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents SafeWatch: An Efficient Safety-Policy Following Video Guardrail Model with Transparent Explanations

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.496908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.496908Z digest=sha256:58b9ce23cb69c608372eed974b7ecba0afd954cec839f1f2b3fa89065e768001

Observation 8cd285e2-fc36-4895-bf5b-569154083f07 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.590840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.590840Z digest=sha256:453f90097989bac3fd54334804f2806dd1bd69232c8d2f594f40070bed6e279a

Observation 9102a3be-1ef5-4ddd-a070-2c5cbf8e006d · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.641565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.641565Z digest=sha256:3a5dcc27bf16d161bc73c46c6ed746f6d7fb34e8a54f182dd4afeaa6f0c3492f

Observation 35ad9bb4-ebda-4c77-9a36-980433f18722 · outbound

This paper cites Dawson, S.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Dawson, S

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.738691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.738691Z digest=sha256:2bca383ad295f554ce093bcfb6a441ea8a1f1dfbdb061458e5fa3d5e406eb16e

Observation a6ddb2f1-9e09-4ac6-aa87-f58366bd0a7e · outbound

This paper cites Desai, T.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Desai, T

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.752860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.752860Z digest=sha256:775d171fab49f1b44f1b672c8ef6e73d3f4a148be9e244392d28dc52ad4c00d5

Observation 98ba30e7-f850-4c3e-ab7f-2d6ec085e8c7 · outbound

This paper cites Duret-Lutz, E.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Duret-Lutz, E

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.824513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.824513Z digest=sha256:7a0ed0256f4f3b271334f429ce3623866f8912e6e1d52e699893e8b24d41d1d7

Observation 0d3ef074-4fec-427b-a18c-0a4325a79827 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:17.941556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:17.941556Z digest=sha256:9564a48a0e5db7158d31eb33386037583838ddcc39c9bdac6d186cf81f5ab594

Observation dddd79a6-5aae-44fe-bd08-600d326f9afd · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.042202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.042202Z digest=sha256:9f1ba524af55eb61e9d81b571b3ef181df91f2e56fc144110a12b2d5015f49a2

Observation a0a468eb-29b8-421f-870e-bc6754f24f9e · outbound

This paper cites Fuggitti and T.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Fuggitti and T

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.216297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.216297Z digest=sha256:2a83abab23a0a036c31d67b692141fb92e4e795fc7b37e78a78368edd8d57764

Observation 7f2becd6-9e55-4593-9def-13171c13359c · outbound

This paper cites Hensel, S.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Hensel, S

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.325953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.325953Z digest=sha256:0e9813ab082a089f5c234dd38907ee2dc85728046bb580c667782fb90477052b

Observation 34c6f2a0-a44b-4652-bb29-d15f4e92dc67 · outbound

This paper cites Howey, D.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Howey, D

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.429398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.429398Z digest=sha256:45d90f48ddd05b7fc5d18c555d4a274a4b71f11f0a1fbab9b98a972c266b5368

Observation a90d2406-ef02-468a-96af-fc043804df2a · outbound

This paper cites Klauck, M.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Klauck, M

Reference 19

Resolution
verified exact
doi, observed 2026-08-04T09:53:25.509512Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-04T09:52:18.520314Z digest=sha256:e2537570ef9f9a84a4880871ab1fb3384f419c6c518140b2af436ac310adc155

Observation 34021f92-ee58-4449-9a67-fdf0e141cd79 · outbound

This paper cites Kolve, R.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Kolve, R

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.637747Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.637747Z digest=sha256:fb5862011f48ed162401296e9387712f80e684f42225f3a14ac02523e6cf5b71

Observation 6077c918-ebe0-4246-840f-92fac1d742e2 · outbound

This paper cites Kwiatkowska, G.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Kwiatkowska, G

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.725027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.725027Z digest=sha256:de4b8fa64f44dae33fe27bb1a7daa6b77b6fe75b950d5745dbf8258b907c3a55

Observation eb9f55e4-211a-4cb7-bec7-57cd9aaded4b · outbound

This paper cites Lacerda, F.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Lacerda, F

Reference 22

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.800484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.800484Z digest=sha256:902b92c7f2de0803322905b447c4320ace932675c6a35ceb7718a9fff1b5db2e

Observation a222da8f-1514-45da-9095-c4ea34b52c43 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:18.881890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:18.881890Z digest=sha256:df9b4f7fced2d4a59843188c290710ee2e90a6fcedef307083f70347198dda5a

Observation 7ccac44e-4f10-4b54-8881-0106f350b13d · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.046386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.046386Z digest=sha256:b518c0b6c9994d373f354d53307b284f98309449f4ed626594d7722c49b075c5

Observation fb89e215-7909-4b92-860f-7ae6b3819ada · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.169229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.169229Z digest=sha256:ba11f344ff5297f8a53c18b963b0df6e99576ddb85655187f8fddea10f0bd4c3

Observation 70f26964-91ca-4a61-bac3-71e236784b3d · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.211115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.211115Z digest=sha256:37177469c2a4e3bcf9751072b260e96729e130d70765bd2417c46a6173b7b8ab

Observation 76a16457-ea9c-4f19-8fba-33ed4d821a97 · outbound

This paper cites Maler and D.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Maler and D

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.305656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.305656Z digest=sha256:161bf9901d65b3a9dde7fed0cfbc77486ee4cfe5973c239eb00f2dc7d2b166f7

Observation fd622d13-c768-4728-a90f-521ebf206ed4 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.446531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.446531Z digest=sha256:91e72518b6619f38c18ed5488d731980f47ec3f64fbec69a583796151f0727b6

Observation a0f51ab8-07a4-489b-ad4a-90f1754455fe · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.506756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.506756Z digest=sha256:8e77229e94b6e5bbd97a9ec8cd7d65d1411bee19889aa457430591423c48fb6e

Observation c3fafbb1-19f0-4037-ab09-f07e618d1699 · outbound

This paper cites Savva, A.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Savva, A

Reference 30

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.542626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.542626Z digest=sha256:0c622803e1b84abda53dfe1f549c72371eaa58d1ca5f04b44e21a3d25986cd6a

Observation 61eb9785-7a28-44dc-830c-34d35419c3b4 · outbound

This paper cites Shridhar, J.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Shridhar, J

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.665349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.665349Z digest=sha256:e71ad2fd5a9b964b18702c66091f833baa8c317f8aaecfea348beaf68d04d39e

Observation 5cc04674-beb7-4e3d-8252-df864e4db8d1 · outbound

This paper cites Defining and Evaluating Physical Safety for Large Language Models.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Defining and Evaluating Physical Safety for Large Language Models

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.783900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.783900Z digest=sha256:0cefdca66bb50ec7743deddb333586dbe39e18ac9db0f48872184f0efece8423

Observation 316929f4-e7cb-44db-a38c-dfc0845e266b · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 33

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.843853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.843853Z digest=sha256:2663979a8ca149c957005d5949985b5345fd2b30d27aa3397ea1d3b2e871213b

Observation 6a999039-b54b-4f79-8546-64da7c9532f7 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:19.901660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:19.901660Z digest=sha256:2645f331eed9d4f492943626ca9ca9dbc995a07ad4eca5f909afe197823c1648

Observation b61c5086-614d-4ee0-b536-35feda1fecc1 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.000949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.000949Z digest=sha256:f23815e65e64f90b2e22c6552df6a8a103627d26f4c0d569a16edfcf5a142d60

Observation 4d875041-6b13-4d51-a9c0-7365dd6ad4e3 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.101453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.101453Z digest=sha256:49e186b02da1e5a2495df8dd960864de207247f55d7e8de5c448081ef7cf8479

Observation c0d002ac-82f7-42cf-a994-702a1497c0fc · outbound

This paper cites PlanGenLLMs: A Modern Survey of LLM Planning Capabilities.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents PlanGenLLMs: A Modern Survey of LLM Planning Capabilities

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.184612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.184612Z digest=sha256:324fceae3b62ad0641e43bc55a4ee65881aaefc987892be781c5871aaae102f3

Observation 445fb2a7-ee4a-4268-9da3-d4bb1d68dbce · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 38

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.299447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.299447Z digest=sha256:aa37c24d0f4607806d768cc52e7494bbfe2a96907cbaebfc5fc9941ace5892d2

Observation 4270cc7b-1cac-4c0d-b04a-e93c2f1ed834 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.449046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.449046Z digest=sha256:201cbb4003e7b39f64f9a61a219853f1fa22048fa92c6e0764874513370f083d

Observation 5d89de49-1012-4e06-be02-7e1de5e1f376 · outbound

This paper cites R-Judge: Benchmarking Safety Risk Awareness for LLM Agents.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents R-Judge: Benchmarking Safety Risk Awareness for LLM Agents

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.546491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.546491Z digest=sha256:27c268e09ca5c8b809c1430deac9599780a7d7bafe44d20c680ceaea9a9ad3f5

Observation 4f8a3818-7358-4a8a-bd4b-f89d10978a0d · outbound

This paper cites Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.583831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.583831Z digest=sha256:3fd7e530bde0a7ee525fdbdc36c93f810d02d8c2a894b35d989d41315a7f9d7c

Observation 256b3fab-06b7-4027-bd40-0496ade2fb88 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.696401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.696401Z digest=sha256:26775ca2af8a5372bc4114464ac9b6273580d1df5b51188ad1a129c5ea29fb68

Observation 04e4b44e-bed4-4826-a04a-b21dff35d341 · outbound

This paper cites LaMMA-P: Generalizable Multi-Agent Long-Horizon Task Allocation and Planning with LM-Driven PDDL Planner.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents LaMMA-P: Generalizable Multi-Agent Long-Horizon Task Allocation and Planning with LM-Driven PDDL Planner

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.864057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.864057Z digest=sha256:e74aeb15715e50c39b5af0bebb69f797c24e75e912024bae4d34614e83bfe4ee

Observation 30443069-a4cf-4f12-92cf-651dad8d3ffb · outbound

This paper cites HAZARD Challenge: Embodied Decision Making in Dynamically Changing Environments.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents HAZARD Challenge: Embodied Decision Making in Dynamically Changing Environments

Reference 44

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:20.980724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:20.980724Z digest=sha256:1a3dc994300d003e08140e4920eeb73c9902bf9abc706ac4d1c7dbe54047e19e

Observation 7ff51308-cb94-4fac-9030-829faa53bafe · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:21.109937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:21.109937Z digest=sha256:2fbdde96bacf1c9fbcce935ad23bfb4c2ec94c526e0d368809740ba46108a71e

Observation 41ca27e6-ebc0-4c5c-8308-5842b9be456d · outbound

This paper cites EARBench: Towards Evaluating Physical Risk Awareness for Task Planning of Foundation Model-based Embodied AI Agents.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents EARBench: Towards Evaluating Physical Risk Awareness for Task Planning of Foundation Model-based Embodied AI Agents

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:21.230370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:21.230370Z digest=sha256:d45ac6585ad73dfe72c50703d493ced51f000466cf608e10eb75f1e79d431912

Observation ba99bb96-6dd0-46b9-9f54-627a2266ea88 · outbound

This paper cites @esa (Ref.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents @esa (Ref

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:21.303102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:21.303102Z digest=sha256:c2dec7d41e86c593146b5384edd983a745a1c8b1f7ce44fd2627d0e6013c9135

Observation 26af7f7f-f4c1-488a-aeb3-b67c1daa1de4 · outbound

This paper cites an unresolved cited work.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents Unresolved cited work

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-04T09:52:21.383456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:21.383456Z digest=sha256:087db3c87772c6659ab7607267e12e271c8f3abc9c11ee16cd471da90d9fa3e0

Observation c53720e8-eff9-414b-bc0d-7e390be2ea37 · outbound

This paper cites never place flammable objects near the stove.

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents never place flammable objects near the stove

Reference 49

Resolution
malformed identifier
no resolver link, observed 2026-08-04T09:52:21.496950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-04T09:52:21.496950Z digest=sha256:b43d1e25f834fbc95dd77c0bbb632c6716b663dbef845384a835468ae087e706

Pith citing papers

Observation 4ad7b3be-ae1d-4683-9dbf-43941a3e6f33 · inbound

STEP-LLM: Generating CAD STEP Models from Natural Language with Large Language Models cites this paper.

STEP-LLM: Generating CAD STEP Models from Natural Language with Large Language Models SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-03T09:47:40.168607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-03T09:47:40.168607Z digest=sha256:556b90ad1201e9997eae6ab3ac0ab28c7fc1e1c86c6a4b52aee9cc2aba913e93

Observation daa537db-5e6c-4d9f-baf3-83ce87796d4a · inbound

SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation cites this paper.

SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents

Reference 22

Resolution
verified exact
arxiv_id, observed 2026-07-22T01:22:14.626987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-05-13T03:45:52.910108Z digest=sha256:826a2b02b94901789878ab16299050d49a6625d935f8904e0a1b106c8539567c

Observation bed56cea-aad5-4788-b385-8b9ca4bddc22 · inbound

SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation cites this paper.

SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents

Reference 22

Resolution
verified exact
arxiv_id, observed 2026-07-22T01:22:14.626987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-06-30T22:08:41.488683Z digest=sha256:2f3f8a63d2c5c6529e6c04392befdd1982b4681ab96db9162f512caf325e0336

Observation e4c7054f-f770-4f47-8863-b8074a3c826b · inbound

CreFlow: Corrective Reflow for Sparse-Reward Embodied Video Diffusion RL cites this paper.

CreFlow: Corrective Reflow for Sparse-Reward Embodied Video Diffusion RL SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents

Reference 41

Resolution
verified exact
arxiv_id, observed 2026-07-22T01:22:14.626987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-05-15T02:42:08.454469Z digest=sha256:b0ec58975b655410c23c50db6be6fb27fae58056670ba342fd06b7730ca6f2f8