Paper Citation Record · LEDGER

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification

As of 11 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2509.04288.

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

pith.paper-citation-record.v1
2509.04288 v2

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T10:23:01.374835Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

39 of 39 outbound references displayed

verified exact1
verified fuzzy25
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ac284036-55d0-4b3d-9321-077854f94913 · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.890108Z

Source-reported events for the cited work

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

Observation 23dca7f3-5ce9-4ce2-8b8f-48bb07517c93 · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.877778Z

Source-reported events for the cited work

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

Observation 36941c71-d407-4403-b835-659e3bddf00b · outbound

This paper cites Barré, B.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Barré, B

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.865419Z

Source-reported events for the cited work

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

Observation 79ce084f-0cca-4a15-94aa-e66aaedc2fc9 · outbound

This paper cites Darling, J.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Darling, J

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.854698Z

Source-reported events for the cited work

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

Observation e512ff7c-9348-4810-a908-ccf918ec7e64 · outbound

This paper cites Khalik, H.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Khalik, H

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.844006Z

Source-reported events for the cited work

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

Observation f8a5ef74-8d1d-4f62-bab5-7116e9203d07 · outbound

This paper cites Khalik, H.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Khalik, H

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.830119Z

Source-reported events for the cited work

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

Observation 6bb49e0c-5e59-444c-ab6f-8d930293fb3d · outbound

This paper cites Khalik, Modeling and Optimal Control for Aging-Aware Charging of Batteries, PhD Thesis (research TU/e / graduation TU/e), Eindhoven University of Technology, Eindhoven (Nov.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Khalik, Modeling and Optimal Control for Aging-Aware Charging of Batteries, PhD Thesis (research TU/e / graduation TU/e), Eindhoven University of Technology, Eindhoven (Nov

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.817078Z

Source-reported events for the cited work

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

Observation 3eecb92b-a3e7-4d28-92c2-5802e6e813d7 · outbound

This paper cites Kolluri, S.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Kolluri, S

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.804487Z

Source-reported events for the cited work

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

Observation aee23bb6-7f3e-492e-83ef-23fe7a0845b3 · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.793401Z

Source-reported events for the cited work

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

Observation 40dca00f-aa5a-46b7-994c-74505a868464 · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.781194Z

Source-reported events for the cited work

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

Observation 2a9680b4-3682-4b09-99a8-5495f7baf50f · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.768830Z

Source-reported events for the cited work

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

Observation 33daf551-5b73-4395-b94e-b3e5ca0d93bd · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.755706Z

Source-reported events for the cited work

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

Observation 04259ce2-d329-4a10-bece-a72677b41a2f · outbound

This paper cites Data-driven Abstractions for Verification of Deterministic Systems.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Data-driven Abstractions for Verification of Deterministic Systems

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T10:23:01.279602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9360cc37-ced4-46c8-b369-e1a2626e8fd6 · outbound

This paper cites Coppola, A.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Coppola, A

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.739890Z

Source-reported events for the cited work

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

Observation 3a37b251-03fb-4d94-83b7-5cc241a43320 · outbound

This paper cites Data-Driven Abstractions for Control Systems via Random Exploration.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Data-Driven Abstractions for Control Systems via Random Exploration

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-08-05T10:23:01.416315Z

Source-reported events for the cited work

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

Observation dbf912f6-260e-4853-8ab2-40adc8540602 · outbound

This paper cites Abate, C.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Abate, C

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.725714Z

Source-reported events for the cited work

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

Observation 8d451e44-20bc-49fd-ba77-8082ffd84495 · outbound

This paper cites Ravanbakhsh, S.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Ravanbakhsh, S

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.711556Z

Source-reported events for the cited work

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

Observation 2df74e0f-ec8e-484b-8676-9ae30cb8f47b · outbound

This paper cites Ahmed, A.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Ahmed, A

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.698822Z

Source-reported events for the cited work

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

Observation 4a89b7e8-10d1-424f-a8cd-20040461d5b8 · outbound

This paper cites Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, Springer Science & Business Media, 2009.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, Springer Science & Business Media, 2009

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.687176Z

Source-reported events for the cited work

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

Observation 50f4281f-25df-4c40-b3a1-5d7ce5cdffa4 · outbound

This paper cites Schmuck, J.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Schmuck, J

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.674997Z

Source-reported events for the cited work

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

Observation 99a820e9-162f-486d-aa8a-65d17495b3bc · outbound

This paper cites Garatti, M.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Garatti, M

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.662162Z

Source-reported events for the cited work

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

Observation bc75e15d-7bf8-4d64-a566-aacc065c08e5 · outbound

This paper cites Doyle, T.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Doyle, T

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.647359Z

Source-reported events for the cited work

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

Observation 1773885a-7ea2-4282-bd6c-58ea9b64c59f · outbound

This paper cites Brosa Planella, W.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Brosa Planella, W

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.633796Z

Source-reported events for the cited work

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

Observation 60be0c40-4171-4a41-a3f1-38983a23d9af · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.619868Z

Source-reported events for the cited work

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

Observation ae9b167f-cd13-443d-968b-92347297c5ab · outbound

This paper cites Nyman, M.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Nyman, M

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.606338Z

Source-reported events for the cited work

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

Observation 13c9b683-3eef-49ee-9e46-27f43c953e41 · outbound

This paper cites O’Regan, F.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification O’Regan, F

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.592459Z

Source-reported events for the cited work

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

Observation c4ab1c29-464e-4239-b720-3c60c4c387d1 · outbound

This paper cites Ramadass, B.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Ramadass, B

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.578866Z

Source-reported events for the cited work

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

Observation 33e960c2-b145-4e14-876b-a8dd31ab3dea · outbound

This paper cites Sulzer, S.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Sulzer, S

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.566903Z

Source-reported events for the cited work

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

Observation 1c41c164-8b5a-4e7b-a18f-e8478d23c161 · outbound

This paper cites Haarnoja, A.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Haarnoja, A

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-05T10:23:01.338700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation defbc4d7-d441-473f-b2e9-b64b4fc7ab02 · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.547506Z

Source-reported events for the cited work

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

Observation 064af6cc-9a5c-4593-9dcc-8636bbcbde57 · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.536372Z

Source-reported events for the cited work

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

Observation ebdf70c0-a1c3-4b72-8f49-44432c1641c7 · outbound

This paper cites Reijsbergen, P.-T.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Reijsbergen, P.-T

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.526086Z

Source-reported events for the cited work

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

Observation 462cab20-1d61-45d6-8eed-bc93498da171 · outbound

This paper cites Karanth, M.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Karanth, M

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.513927Z

Source-reported events for the cited work

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

Observation 37f12eba-8d68-4a54-a13d-2975f006ced8 · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.502055Z

Source-reported events for the cited work

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

Observation b95027f5-98b1-4e39-a7df-61765b2c04ff · outbound

This paper cites an unresolved cited work.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-05T10:23:01.490371Z

Source-reported events for the cited work

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

Observation 6de6a5e7-b8a4-43c1-97d7-b707aae68256 · outbound

This paper cites Ombrini, Q.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Ombrini, Q

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.478393Z

Source-reported events for the cited work

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

Observation 1b130585-7bd3-4ce6-951d-9b6fe288034e · outbound

This paper cites Ombrini, M.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Ombrini, M

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.466566Z

Source-reported events for the cited work

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

Observation cb0e3cc8-bbd9-4948-8021-f78cc5574f91 · outbound

This paper cites Karger, S.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Karger, S

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.454544Z

Source-reported events for the cited work

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

Observation 5bc6cc7b-06ae-4555-af73-997e36d384ea · outbound

This paper cites Sulzer, S.

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification Sulzer, S

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T10:23:01.442717Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.