Paper Citation Record · LEDGER

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

As of 5 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-05T06:32:48.257954+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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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-05T06:32:48.257954+00:00.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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-05T06:32:48.257954+00:00.

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-05T06:32:48.257954+00:00.

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-05T06:32:48.257954+00:00.