Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-16T11:26:49.340532Z
Paper Citation Record · LEDGER
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
As of 21 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2504.15666.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
20 of 20 outbound references displayed
- verified exact1
- verified fuzzy17
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation cdb6c385-8d09-4e14-bc67-aaf9dc6d671c · outbound
This paper cites The upcoming role for nursing and assistive robotics: Opportunities and challenges ahead,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing The upcoming role for nursing and assistive robotics: Opportunities and challenges ahead,
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.593053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 88c2cc62-ff1a-43d3-acfc-343ae9b99397 · outbound
This paper cites Ari: The social assistive robot and companion,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Ari: The social assistive robot and companion,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.581269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9565e7b2-2a86-40a9-88bc-158f88feb853 · outbound
This paper cites Assistive gym: A physics simulation framework for assistive robotics,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Assistive gym: A physics simulation framework for assistive robotics,
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:26:49.278918Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5eee9b1-85f8-4850-b8d1-50161b237b73 · outbound
This paper cites Major trends in population growth around the world,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Major trends in population growth around the world,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.562562Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1f38dc5b-efa4-401f-8709-ac00e3d5eca3 · outbound
This paper cites Personalized robot assistant for support in dressing,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Personalized robot assistant for support in dressing,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.550477Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 892370f4-ff5f-4fa3-893f-3fcf516e3547 · outbound
This paper cites A quantitative analysis of dressing dynamics for robotic dressing assistance,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing A quantitative analysis of dressing dynamics for robotic dressing assistance,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.538707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6adc0fac-e1c4-4776-ac75-2fff3ec701e7 · outbound
This paper cites PARAM: A model checker for parametric Markov models,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing PARAM: A model checker for parametric Markov models,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.526580Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c3518f2e-5254-4025-9400-080b6d26d485 · outbound
This paper cites Adaptive model learning for continual verification of non-functional properties,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Adaptive model learning for continual verification of non-functional properties,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.514307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bc717e1a-a83f-45c3-a5b9-50a1e8d2141b · outbound
This paper cites Probabilistic symbolic model checking with prism: A hybrid approach,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Probabilistic symbolic model checking with prism: A hybrid approach,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.502888Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2d8adfcf-9dbc-468a-9f57-fd6d39d91d73 · outbound
This paper cites Safety assessment review of a dressing assistance robot,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Safety assessment review of a dressing assistance robot,
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T11:26:49.305010Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b8d1fe2e-3093-4251-aa59-fe4456a3044b · outbound
This paper cites On probabilistic computation tree logic,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing On probabilistic computation tree logic,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.484149Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d1117b4a-8053-4e71-b562-0a6440a28dd9 · outbound
This paper cites PRISM 4.0: Verification of probabilistic real-time systems,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing PRISM 4.0: Verification of probabilistic real-time systems,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.472826Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b5f64e27-c6a0-49fd-a18a-1fad48099dec · outbound
This paper cites Probabilistic model checking of robots deployed in extreme environments,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Probabilistic model checking of robots deployed in extreme environments,
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.462160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7e0110e3-3efc-41f5-a042-f706cd0600ff · outbound
This paper cites Safety controller synthesis for collab- orative robots,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Safety controller synthesis for collab- orative robots,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.450650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c44e5be4-e005-428d-b8e5-4de88a88d531 · outbound
This paper cites Verified synthesis of optimal safety controllers for human-robot collaboration,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Verified synthesis of optimal safety controllers for human-robot collaboration,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.438404Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2cd2a7fc-14a9-4662-a5d9-f14d705874d3 · outbound
This paper cites Bayesian learning for the robust verification of autonomous robots,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Bayesian learning for the robust verification of autonomous robots,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.426556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5caf0300-e1a3-426a-8522-d0641b45fc04 · outbound
This paper cites Verification and External Parameter Inference for Stochastic World Models.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Verification and External Parameter Inference for Stochastic World Models
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T11:26:49.378725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 091603eb-dd1e-4c53-a898-d796a97f1064 · outbound
This paper cites Runtime verification for anomaly detection of robotic systems security,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Runtime verification for anomaly detection of robotic systems security,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.414878Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e850a07d-31e9-4fed-b0c0-f522584d74a2 · outbound
This paper cites Provably Safe and Efficient Motion Planning with Uncertain Human Dynamics,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Provably Safe and Efficient Motion Planning with Uncertain Human Dynamics,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.402874Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4062997b-391f-4b37-a440-c3d13af6059c · outbound
This paper cites Using observation ageing to improve markovian model learning in qos engineering,.
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing Using observation ageing to improve markovian model learning in qos engineering,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-16T11:26:49.390872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Pith citing papers
No inbound Pith citation observations are available.