Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T15:59:49.447963Z
Paper Citation Record · LEDGER
Real-Time Model Checking for Closed-Loop Robot Reactive Planning
As of 21 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 0 inbound Pith citation observations for arXiv:2508.19186.
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-21T06:32:19.484+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
65 of 65 outbound references displayed
- verified exact23
- verified fuzzy8
- unresolved21
- parse uncertain0
- malformed identifier5
- metadata mismatch8
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation ea6aff2c-37d7-491b-94f9-2c106bb43af9 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 1
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:50.868779Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8ee3eb02-9606-4b2b-877c-d4d33f3fa4f7 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.323876Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 72cf9b1f-1874-40ad-b166-5e4ff31719fd · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T15:59:50.995970Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d85effb3-029e-4386-be0d-e7928e8c3c82 · outbound
This paper cites Battaglia, Jessica B.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Battaglia, Jessica B
Reference 4
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-05T15:59:49.328522Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 729b7f8f-5fb5-4534-a74e-6d2bdabf117c · outbound
This paper cites Myreen, and André Platzer.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Myreen, and André Platzer
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.707135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4df46cd1-ece5-486e-abbd-ed6cf265e73e · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.700369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 125341e0-9cab-4a0a-9564-95baa091aba9 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 7
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.693365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 62efbe18-a8cd-4c2a-b6ae-44c8c21d90a2 · outbound
This paper cites Braitenberg.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Braitenberg
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.988664Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7c5d26f0-4e8e-4e9b-a193-2785db5aea93 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 9
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-05T15:59:49.686362Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ba9962a7-992e-44fe-a48b-2c9b2961f0f4 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 10
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.680219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b944dc62-f593-4680-8c9f-041341aa887c · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.343219Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 25a8b302-d43b-47da-b779-1a5295720021 · outbound
This paper cites On the Measure of Intelligence.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning On the Measure of Intelligence
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.345276Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecff74de-8f4e-4af7-8271-fbcaed46ec10 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 13
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-05T15:59:49.347555Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5a68831-475e-47dd-995d-06b526fad8b7 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.349430Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 265a1e0f-de6c-406b-b877-f0aed6191012 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.351433Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b5696e16-fee6-4a88-b246-24101eddc685 · outbound
This paper cites Dennis, Michael Fisher, Matthew P.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Dennis, Michael Fisher, Matthew P
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.661156Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0ca35d3a-a718-4a31-984c-3aac99f0b399 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T15:59:50.981150Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7df64378-8d98-4875-ac10-3bb4118e3666 · outbound
This paper cites Joint Research Centre.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Joint Research Centre
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.655411Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 71732b8f-404a-4590-84ea-c35a52b48e99 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.649330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2e7a4937-64b6-4790-a04b-2436ee81d79b · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 20
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.642586Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 62178363-f582-4424-a937-45568c8b24b0 · outbound
This paper cites Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, and Viviana Mascardi.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, and Viviana Mascardi
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.973628Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5104c3a2-1aba-4ddd-ad7f-6b050d08bf7a · outbound
This paper cites Dennis, Davide Ancona, Michael Fisher, and Viviana Mascardi.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Dennis, Davide Ancona, Michael Fisher, and Viviana Mascardi
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.965863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3f401b68-bf1f-44c0-9b11-d7d9baa57769 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 23
- Resolution
- verified exact
- raw_fallback, observed 2026-08-05T15:59:50.685035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 91706c26-35ae-42fd-9ee7-68f55ebfc64e · outbound
This paper cites Fraser, R.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Fraser, R
Reference 24
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:50.626665Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0fa6baa0-65e7-4d8f-92fc-f3829b3dcdc7 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T15:59:50.957033Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 83418941-a4d6-4a08-9d36-69f728883124 · outbound
This paper cites Hamilton, I.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Hamilton, I
Reference 26
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.629402Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 40bd853e-ec99-4322-b626-19b0fc5fad95 · outbound
This paper cites Havelund, M.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Havelund, M
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.623180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 30e13267-1f7d-4972-8ec3-955127767817 · outbound
This paper cites Hendriks, P.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Hendriks, P
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.617279Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0123d7cf-96ab-46a9-b638-992a3ed53a1b · outbound
This paper cites Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Henzinger, Pei-Hsin Ho, and Howard Wong-Toi
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.948771Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation cf136da1-263f-41c6-8753-6c1fcef74411 · outbound
This paper cites Holzmann.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Holzmann
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.941143Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 876acba9-5662-48c6-a56d-d9d836c3ef90 · outbound
This paper cites How Simulation Helps Autonomous Driving:A Survey of Sim2real, Digital Twins, and Parallel Intelligence.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning How Simulation Helps Autonomous Driving:A Survey of Sim2real, Digital Twins, and Parallel Intelligence
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.385253Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5886d47-0466-4f18-875e-d5db7f6ca4b7 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T15:59:50.933527Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0ea2dab6-0662-4894-93f2-430c6fca2a25 · outbound
This paper cites Dennis, Owen McAree, Michael Fisher, and Sandor M.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Dennis, Owen McAree, Michael Fisher, and Sandor M
Reference 33
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.604356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 6244d570-d408-40fb-bf87-307dca7974cb · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T15:59:50.925466Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 86bc6d9f-ba4d-4744-be5b-dead7fc94aee · outbound
This paper cites Lake, Tomer D.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Lake, Tomer D
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.393134Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 230c4160-7d2d-45e5-b0eb-2df036b43011 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T15:59:50.917949Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 86c75b38-0cf2-4082-ad8d-a68390858eec · outbound
This paper cites Lehmann, A.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Lehmann, A
Reference 37
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.528717Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation b98c2f67-87f5-4bf8-a011-460004a77be4 · outbound
This paper cites Leonard and H.F.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Leonard and H.F
Reference 38
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:50.540837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3b35a9ec-7c47-464d-b772-5ce748110f8c · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 39
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.521925Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 30d86c56-f639-4731-86d9-a55c25b2d358 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 40
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:50.455689Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation cb3ed59a-36d6-419f-a533-2fc78ed7ed99 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 41
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:50.398904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 41d85f41-010f-48f1-bd04-46ea562d5b7a · outbound
This paper cites Haque, Lingjia Tang, and Jason Mars.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Haque, Lingjia Tang, and Jason Mars
Reference 42
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:50.330553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7699bd5a-38be-46a6-9862-832f795106ab · outbound
This paper cites Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, and Matthias Althoff.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, and Matthias Althoff
Reference 43
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:50.258609Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3c1734c7-40d6-402d-a630-94e797d427c0 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 44
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-05T15:59:49.409719Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 93439635-79e7-4aca-a5c7-c677fe2a997f · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 45
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.511871Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e8a2e02c-82ae-405b-a862-a272042247be · outbound
This paper cites Dennis, Clare Dixon, and Michael Fisher.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Dennis, Clare Dixon, and Michael Fisher
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.909803Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5b98aad0-f8b7-4a74-9a90-30edad7d1e9a · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.415765Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 715b2edf-22dd-4331-ab9a-8a22fd7c9291 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.505664Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation bf18dc34-2529-4600-9318-dbe2f69f6f76 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 49
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-05T15:59:50.901731Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 355f4574-0eda-464d-bb23-8532ca98e22e · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 50
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.499271Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation fd300fb2-4c67-4fd0-be44-e138261252da · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.423199Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a2cefbc-a92f-4526-9d30-cf9b6c17daff · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.425067Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36caf7af-a3dc-478a-b8e9-a5c37ab222d5 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.485383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation e6a1e333-486c-49f9-a94c-74658ebd23ad · outbound
This paper cites Smith and Peter Cheeseman.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Smith and Peter Cheeseman
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.428965Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60180a80-b7ea-422e-9498-dd853ab42860 · outbound
This paper cites Spelke and Katherine D.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Spelke and Katherine D
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.431144Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dedd9bd7-7901-45f9-a212-20790ec60558 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.433367Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 706445b5-76b6-4571-90cf-0733e1df28e6 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 57
- Resolution
- verified exact
- raw_fallback, observed 2026-08-05T15:59:49.964227Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3bc5c530-d504-4325-9e46-b0c0030f22ed · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 58
- Resolution
- unresolved
- raw_fallback, observed 2026-08-05T15:59:50.893849Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7db5a66c-a6a1-475d-b6ab-e43dde1e369e · outbound
This paper cites Wang and F.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Wang and F
Reference 59
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-05T15:59:49.852002Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0da46b47-c485-491d-8a1c-37de6efde55f · outbound
This paper cites Ammar, and Tianyao Shen.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Ammar, and Tianyao Shen
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.885736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7e1dd07d-d7e0-49e0-9274-18688273545b · outbound
This paper cites Weißmann, S.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Weißmann, S
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T15:59:50.877657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 86608e4d-aa18-4b1f-9d52-4a7e65a32738 · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T15:59:49.446178Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d5b6934-3a36-436d-987e-077f0a765f4b · outbound
This paper cites an unresolved cited work.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Unresolved cited work
Reference 63
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.468459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation f392ec3e-25e4-4d8f-8982-6e878f7cb810 · outbound
This paper cites In Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings (Nottingham, United Kingdom).
Real-Time Model Checking for Closed-Loop Robot Reactive Planning In Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings (Nottingham, United Kingdom)
Reference 2020
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.636210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 9fc3ba52-c543-477b-a706-6ad1750a8466 · outbound
This paper cites Sensors 2021, Vol.
Real-Time Model Checking for Closed-Loop Robot Reactive Planning Sensors 2021, Vol
Reference 2021
- Resolution
- verified exact
- doi, observed 2026-08-05T15:59:49.474927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Pith citing papers
No inbound Pith citation observations are available.