Paper Citation Record · LEDGER

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study

As of 13 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2411.14371.

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

pith.paper-citation-record.v1
2411.14371 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:21:40.006033Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

17 of 17 outbound references displayed

verified exact9
verified fuzzy4
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bad35c4e-cc78-4e9e-8f03-f2cea47b5e3b · outbound

This paper cites MIT Press.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study MIT Press

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:21:40.554259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9c4198f1-9a3c-4097-9b3c-57f27ca16cac · outbound

This paper cites ter Beek & Axel Legay (2020): Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with UPPAAL Stratego.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study ter Beek & Axel Legay (2020): Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with UPPAAL Stratego

Reference 2

Resolution: verified exact; doi, observed 2026-08-12T15:21:40.151420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7ef7f9a9-dabe-4816-b9a5-9b4c5979444e · outbound

This paper cites Standard, DIN.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Standard, DIN

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:21:40.542678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 064a4ccc-6209-43b2-ade3-b816a572bf66 · outbound

This paper cites an unresolved cited work.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T15:21:40.137393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 64584971-ab8e-4df1-b6f2-3ac3f0dbc9a2 · outbound

This paper cites an unresolved cited work.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Unresolved cited work

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:21:40.506436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f05ba842-1f09-4064-be9a-1a46efb60348 · outbound

This paper cites A Manifesto for Applicable Formal Methods.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study A Manifesto for Applicable Formal Methods

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-12T15:21:40.414792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation eca2483a-6a8b-41cc-ab09-e595836335cc · outbound

This paper cites Jensen, Cristina Seceleanu, Eduard Enoiu & Kristina Lundqvist (2022): Correctness- guaranteed strategy synthesis and compression for multi-agent autonomous systems.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Jensen, Cristina Seceleanu, Eduard Enoiu & Kristina Lundqvist (2022): Correctness- guaranteed strategy synthesis and compression for multi-agent autonomous systems

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T15:21:39.950549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3662c167-6320-4af3-bae5-2f89b7fb977c · outbound

This paper cites Available at https://www.umweltbundesamt.de/sites/default/files/medien/publikation/long/3689.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Available at https://www.umweltbundesamt.de/sites/default/files/medien/publikation/long/3689

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:21:40.531207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cd0569ee-7054-4220-8ed9-18e980e2157f · outbound

This paper cites In: Automated Planning and Scheduling (ICAPS), 27th Int.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study In: Automated Planning and Scheduling (ICAPS), 27th Int

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:21:40.122874Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 08c0df5b-f212-4692-947e-ab7f36c8ecae · outbound

This paper cites Lovejoy (1991): Computationally Feasible Bounds for Partially Observed Markov Decision Pro- cesses.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Lovejoy (1991): Computationally Feasible Bounds for Partially Observed Markov Decision Pro- cesses

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T15:21:40.107561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e583c493-2dd3-4a5e-a371-c0b230a23c2d · outbound

This paper cites In: AIIDE, The AAAI Press, pp.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study In: AIIDE, The AAAI Press, pp

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T15:21:40.083469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9476462d-a41f-495c-9da0-4aed4b6ea006 · outbound

This paper cites León (2021): An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study León (2021): An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T15:21:39.979112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bff0766-d93b-4f8c-8047-ae206bb6ba41 · outbound

This paper cites Real-Time Systems 53(3), p.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Real-Time Systems 53(3), p

Reference 13

Resolution: verified exact; doi, observed 2026-08-12T15:21:40.070491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cca2f687-6727-4409-ad9e-354864d355a4 · outbound

This paper cites Available at http: //www.prismmodelchecker.org/manual/.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Available at http: //www.prismmodelchecker.org/manual/

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:21:40.518749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c1630a2b-7049-4494-894f-96b5e3fdd693 · outbound

This paper cites an unresolved cited work.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Unresolved cited work

Reference 15

Resolution: verified exact; doi, observed 2026-08-12T15:21:40.053777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7f3e6b31-f440-44d9-857a-dec6c37396bd · outbound

This paper cites an unresolved cited work.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T15:21:40.001617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09d34f32-0d23-493c-b802-bdfc93962e62 · outbound

This paper cites Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems.

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-12T15:21:40.170993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.