{"as_of":"2026-08-11T16:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f921e18f6caa53d9ecb59703116263f31fea9f0ae21fb57e536897af59542e95","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T10:23:01.374835Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.04288/citation-record","integrity":"/paper/2509.04288/integrity","json":"/paper/2509.04288/citation-record.json","paper":"/paper/2509.04288"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.885870Z","title":null,"venue":null,"work_id":"1e993dd7-b288-4735-b51f-30dbc47fa0ab","year":2025},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.233565Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:70a7c2c3316420a10e0fdde135c5308c5a103bf671046c2878441f36aca3b749","observation_id":"ac284036-55d0-4b3d-9321-077854f94913","resolution":{"observed_at":"2026-08-05T10:23:01.890108Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.873748Z","title":null,"venue":null,"work_id":"cdac57eb-430a-4932-9355-487a15ccfe41","year":2007},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.237875Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:35e49a64cc3464a0696be5edacd121137c1359967238c61d40260deda71d8154","observation_id":"23dca7f3-5ce9-4ce2-8b8f-48bb07517c93","resolution":{"observed_at":"2026-08-05T10:23:01.877778Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.861776Z","title":"Barré, B","venue":null,"work_id":"a76c7cc5-f18f-48dc-8fc9-fc71b22a9b08","year":2013},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.241652Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:1628175e3088b90537a3bd0a336eddf335fe858586bf6178ef874a4897359f92","observation_id":"36941c71-d407-4403-b835-659e3bddf00b","resolution":{"observed_at":"2026-08-05T10:23:01.865419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.851239Z","title":"Darling, J","venue":null,"work_id":"9a90fb6d-4e58-43d6-addc-b1c5af4c3d2a","year":1998},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.245594Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:6deab7217f5e4c06e20b3eed7b01e8d7d37be27f6cf839bf1851be4735ce00ec","observation_id":"79ce084f-0cca-4a15-94aa-e66aaedc2fc9","resolution":{"observed_at":"2026-08-05T10:23:01.854698Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.839821Z","title":"Khalik, H","venue":null,"work_id":"bcd065ee-ae94-4118-90ed-573ce6dbe26b","year":2021},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.249576Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:2ea983b4bf0e99a20faf726f3ebe2bc4f0113b91ad302bc1992f480e809825b0","observation_id":"e512ff7c-9348-4810-a908-ccf918ec7e64","resolution":{"observed_at":"2026-08-05T10:23:01.844006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.826048Z","title":"Khalik, H","venue":null,"work_id":"9be772be-d118-4598-b2cf-96d047af020c","year":2020},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.253409Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:bb4987f4937a6b01ad5e42ab19c1df8055c51284996736fb7f8747f6b7ba23f6","observation_id":"f8a5ef74-8d1d-4f62-bab5-7116e9203d07","resolution":{"observed_at":"2026-08-05T10:23:01.830119Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.812790Z","title":"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","venue":null,"work_id":"c9fc6c98-346a-4bf9-9dcf-caf5549747a8","year":2021},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.257532Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:cb842e727b13d6ce5b54f40b9a9da029002078aafd8c5e3d197933ba52471dce","observation_id":"6bb49e0c-5e59-444c-ab6f-8d930293fb3d","resolution":{"observed_at":"2026-08-05T10:23:01.817078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.800588Z","title":"Kolluri, S","venue":null,"work_id":"71f5969a-0d30-4b7f-9469-d434e3ff023b","year":2020},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.261434Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:d20e97527dd5a20e263ec1fd6c14d5d60ca6cd477a01be8ac349f7005d793f34","observation_id":"3eecb92b-a3e7-4d28-92c2-5802e6e813d7","resolution":{"observed_at":"2026-08-05T10:23:01.804487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.789303Z","title":null,"venue":null,"work_id":"9feb594f-852c-4a26-88ac-b8f0383c6e13","year":2022},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.264858Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:ac7e6257af25d8f859f31a745331eb51245b6f998d5c38167f46373cb98eb1a8","observation_id":"aee23bb6-7f3e-492e-83ef-23fe7a0845b3","resolution":{"observed_at":"2026-08-05T10:23:01.793401Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.777208Z","title":null,"venue":null,"work_id":"7121a84d-2a3c-4ac4-b0cb-59a3575a9464","year":2021},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.268512Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:1f09449fd02114928d59c0b10319d657ba6d438cab389f24da1b419a530eeaab","observation_id":"40dca00f-aa5a-46b7-994c-74505a868464","resolution":{"observed_at":"2026-08-05T10:23:01.781194Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.764464Z","title":null,"venue":null,"work_id":"ae46a813-07cb-4630-9188-409e0d3b2d37","year":2023},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.272232Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:3010c2626249f2e5665152140890da08b40c96fa1e7ceb6ae42ffc8377e2cc96","observation_id":"2a9680b4-3682-4b09-99a8-5495f7baf50f","resolution":{"observed_at":"2026-08-05T10:23:01.768830Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.751131Z","title":null,"venue":null,"work_id":"b8729662-a89a-4e9e-9872-d59d6ce8fce4","year":2025},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.275825Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:03a727d3ce2ce27f2d50d44dcb2eaa58853b28587904bb6f65170b9fa9faad9a","observation_id":"33daf551-5b73-4395-b94e-b3e5ca0d93bd","resolution":{"observed_at":"2026-08-05T10:23:01.755706Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.01793","last_updated":"2023-03-29T12:34:12Z","snapshot_observed_at":"2026-07-06T14:14:02.117220Z","submitted_at":"2022-11-03T13:25:27Z","title":"Data-driven Abstractions for Verification of Deterministic Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.01793","snapshot_observed_at":"2026-08-05T10:23:01.279602Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.279602Z"},"links":{"cited_paper":"/paper/2211.01793","citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:7cdf5c4624049d8d4c185e96138b34ac77f3c3d477c4151db6a53d3b070d88b4","observation_id":"04259ce2-d329-4a10-bece-a72677b41a2f","resolution":{"observed_at":"2026-08-05T10:23:01.279602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.734296Z","title":"Coppola, A","venue":null,"work_id":"4a3c08cb-f691-4ee0-a4f7-e4344af0f14e","year":2023},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.283818Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:86370009910aa0e12892a51914189c6ccd4196ea6d1619a00b84d710b048e16b","observation_id":"9360cc37-ced4-46c8-b369-e1a2626e8fd6","resolution":{"observed_at":"2026-08-05T10:23:01.739890Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.10668","last_updated":"2024-09-26T09:38:01Z","snapshot_observed_at":"2026-07-30T21:53:57.720356Z","submitted_at":"2024-02-16T13:19:04Z","title":"Data-Driven Abstractions for Control Systems via Random Exploration","version":2},"cited_work":{"arxiv_id":"2402.10668","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.10668","snapshot_observed_at":"2026-08-05T10:23:01.410128Z","title":"Data-Driven Abstractions for Control Systems via Random Exploration","venue":"eess.SY","work_id":"6a0821a1-0629-407e-a95b-a500e4f63200","year":2024},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.287362Z"},"links":{"cited_paper":"/paper/2402.10668","citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:2a913a561761c26abe73824df18df825a3148be98750cb45086bb158ac39a205","observation_id":"3a37b251-03fb-4d94-83b7-5cc241a43320","resolution":{"observed_at":"2026-08-05T10:23:01.416315Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.721116Z","title":"Abate, C","venue":null,"work_id":"f4b690b8-0069-4f83-a165-7a86968fb30d","year":2018},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.291335Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:c02fc8a107ba4dcf7cf9b3833eecfc464490fcee630870341398c560b7d6ca31","observation_id":"dbf912f6-260e-4853-8ab2-40adc8540602","resolution":{"observed_at":"2026-08-05T10:23:01.725714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.707725Z","title":"Ravanbakhsh, S","venue":null,"work_id":"22b0e41a-cd53-4435-bb78-ec2a3eed3edb","year":2019},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.294908Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:dd9c8c0f7c2a55be6d0e46f9e364245a78a50113049791dbb69bfe3cf93b311e","observation_id":"8d451e44-20bc-49fd-ba77-8082ffd84495","resolution":{"observed_at":"2026-08-05T10:23:01.711556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.695108Z","title":"Ahmed, A","venue":null,"work_id":"e70bb7b3-21f1-49d1-8239-61a6dc9fb703","year":2020},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.298584Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:c2c3338ae79795b3129e8622ac0c2d16c8c35686dcb79725e62b6a0c5a9f1f76","observation_id":"2df74e0f-ec8e-484b-8676-9ae30cb8f47b","resolution":{"observed_at":"2026-08-05T10:23:01.698822Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.683333Z","title":"Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, Springer Science & Business Media, 2009","venue":null,"work_id":"ee5738af-459e-49a5-a8b5-96bfe94db435","year":2009},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.302234Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:891471440f634b0d3e9c6a2ce573655c2bc3f3758adf4570ec5aafd9f65009e3","observation_id":"4a89b7e8-10d1-424f-a8cd-20040461d5b8","resolution":{"observed_at":"2026-08-05T10:23:01.687176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.670538Z","title":"Schmuck, J","venue":null,"work_id":"87d9cade-abc3-44e7-98b6-d4c374eb8443","year":2014},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.306145Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:3f9a8af0563b6e1f90869cadda51969a644b6ea4f2f588d2b076cbb5e8ab1eae","observation_id":"50f4281f-25df-4c40-b3a1-5d7ce5cdffa4","resolution":{"observed_at":"2026-08-05T10:23:01.674997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.657564Z","title":"Garatti, M","venue":null,"work_id":"f78ad040-ff46-424b-8c52-568c72a9e61b","year":2021},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.309692Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:f22a3611af0a3378b3a2d171341c498692dece096dd14307ab7862696fdc2ba1","observation_id":"99a820e9-162f-486d-aa8a-65d17495b3bc","resolution":{"observed_at":"2026-08-05T10:23:01.662162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.642788Z","title":"Doyle, T","venue":null,"work_id":"a4da4f49-cecc-4a18-a27e-e5765fadf0e4","year":1993},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.313459Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:3ea23a23f0afa9af95bd1264c5ab1b3e7fe490e34550d08d8ea8b5cc165698e4","observation_id":"bc75e15d-7bf8-4d64-a566-aacc065c08e5","resolution":{"observed_at":"2026-08-05T10:23:01.647359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.628922Z","title":"Brosa Planella, W","venue":null,"work_id":"e40aa013-55d6-4415-9dcc-bc69fe9f2246","year":2022},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.316862Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:e19c1e7b6ad474c388af05ba7c500431510dcaeb8caac7b44572927b0183f9c1","observation_id":"1773885a-7ea2-4282-bd6c-58ea9b64c59f","resolution":{"observed_at":"2026-08-05T10:23:01.633796Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.615769Z","title":null,"venue":null,"work_id":"da47fe6a-9974-4c03-a6c1-fecdc3121554","year":2020},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.320484Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:adc9c72e58ba3046455a43b4fddf6ec7c7b11d08a371f4694f4c45a9df3756ef","observation_id":"60be0c40-4171-4a41-a3f1-38983a23d9af","resolution":{"observed_at":"2026-08-05T10:23:01.619868Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.601891Z","title":"Nyman, M","venue":null,"work_id":"ac00bf71-d6cf-4b53-b7e9-93b97dd447a8","year":2008},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.324028Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:50f4cd6d9a2f606f1ed805feaa476b23576b8ab374a4f1f9178073dc5a576e15","observation_id":"ae9b167f-cd13-443d-968b-92347297c5ab","resolution":{"observed_at":"2026-08-05T10:23:01.606338Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.587811Z","title":"O’Regan, F","venue":null,"work_id":"786b199e-ed72-4b14-91fc-ad93ff7e0b23","year":2022},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.327556Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:9bbd9d2cfa50b3ff703f8b7bbf3ced67262f9e6b5e7f0b414b3733848464c1b1","observation_id":"13c9b683-3eef-49ee-9e46-27f43c953e41","resolution":{"observed_at":"2026-08-05T10:23:01.592459Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.575055Z","title":"Ramadass, B","venue":null,"work_id":"f33430b0-91fb-4779-b887-9cb5f21ff5e7","year":2004},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.330904Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:4124cbbfc019435dd43a061a90806c9a27981e27d55f45c81b56fa055399c618","observation_id":"c4ab1c29-464e-4239-b720-3c60c4c387d1","resolution":{"observed_at":"2026-08-05T10:23:01.578866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.562779Z","title":"Sulzer, S","venue":null,"work_id":"532252e3-95ea-481d-92c6-bdd2576e1191","year":2021},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.334666Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:b30f4305e75ef4ee82e4c81362dde05bac13e1128bc48379285933862bfc8e8b","observation_id":"33e960c2-b145-4e14-876b-a8dd31ab3dea","resolution":{"observed_at":"2026-08-05T10:23:01.566903Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.338700Z","title":"Haarnoja, A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.338700Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:a5071bcd12dbcbac4294468bed564dd2e9b02510cf0b69744ada836ac566c903","observation_id":"1c41c164-8b5a-4e7b-a18f-e8478d23c161","resolution":{"observed_at":"2026-08-05T10:23:01.338700Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.543615Z","title":null,"venue":null,"work_id":"0c784c00-ca27-49a2-9768-835430c50676","year":2015},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.342279Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:932694fece31e5395eb5aabf308f52e70ed1b23948f5a1b8c0fd865ab6390a16","observation_id":"defbc4d7-d441-473f-b2e9-b64b4fc7ab02","resolution":{"observed_at":"2026-08-05T10:23:01.547506Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.533031Z","title":null,"venue":null,"work_id":"567b083d-e0bc-45c5-aa36-42bf7cb4d908","year":2022},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.345810Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:44d255207d0e8cca597e51d6b95cd954286f90fa32c48e5cb23ec9b632b48186","observation_id":"064af6cc-9a5c-4593-9dcc-8636bbcbde57","resolution":{"observed_at":"2026-08-05T10:23:01.536372Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.522247Z","title":"Reijsbergen, P.-T","venue":null,"work_id":"81cec62c-ead3-4bb2-a927-ef8e2688e8da","year":2015},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.349114Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:6267d81cffa506adb7ec430ace055f49e589264269500bcfe9e3ea9e3b967596","observation_id":"ebdf70c0-a1c3-4b72-8f49-44432c1641c7","resolution":{"observed_at":"2026-08-05T10:23:01.526086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.509679Z","title":"Karanth, M","venue":null,"work_id":"547a2ab1-266e-4b85-adf3-d70c80f411f7","year":2024},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.352456Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:3bc1d604debfdb67d0c0c6880ea8b770b1c6bf4143d800b6822b9d6046723d07","observation_id":"462cab20-1d61-45d6-8eed-bc93498da171","resolution":{"observed_at":"2026-08-05T10:23:01.513927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.498256Z","title":null,"venue":null,"work_id":"b4c8a832-111c-4019-85eb-19343d354014","year":2023},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.355831Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:061d99c051cc7833eafc76550380e1c8dc96ec5115bfdc1f7f479531a249df50","observation_id":"37f12eba-8d68-4a54-a13d-2975f006ced8","resolution":{"observed_at":"2026-08-05T10:23:01.502055Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.486390Z","title":null,"venue":null,"work_id":"ba92d983-2f5f-41fc-a470-4227e51d2c62","year":2011},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.359295Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:bb257b584284f1cb25890967a0759658d6079d19d9066b5793b0940dfadf1cda","observation_id":"b95027f5-98b1-4e39-a7df-61765b2c04ff","resolution":{"observed_at":"2026-08-05T10:23:01.490371Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.474254Z","title":"Ombrini, Q","venue":null,"work_id":"bb13a57a-e513-4891-a96e-b310076bf0d1","year":2025},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.363086Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:32848f6700a6065a814ab340dd6fda196ccb2880554de6520ca41b73d0ecb8b7","observation_id":"6de6a5e7-b8a4-43c1-97d7-b707aae68256","resolution":{"observed_at":"2026-08-05T10:23:01.478393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.462858Z","title":"Ombrini, M","venue":null,"work_id":"3df4bc28-ce14-4882-9cbf-bc1b76089f88","year":2023},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.367235Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:643edcd4650f49f8bbbb4723014cd356f08c2088a501002e69d8699e60ec28bc","observation_id":"1b130585-7bd3-4ce6-951d-9b6fe288034e","resolution":{"observed_at":"2026-08-05T10:23:01.466566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.450516Z","title":"Karger, S","venue":null,"work_id":"78d5e1e2-aa23-4605-b342-a692164b96a4","year":2024},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.371239Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:e9cb847d3e37d30acab3739f1a4a8a7006c8cba01176d2819a94deff5fc24974","observation_id":"cb0e3cc8-bbd9-4948-8021-f78cc5574f91","resolution":{"observed_at":"2026-08-05T10:23:01.454544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T10:23:01.438807Z","title":"Sulzer, S","venue":null,"work_id":"204ed6f6-42d3-43d1-b333-5d39974a9453","year":2021},"citing_paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T10:23:01.374835Z"},"links":{"citing_paper":"/paper/2509.04288"},"observation_digest":"sha256:4dc5a0a1a00fe75ed1b529552a530cf3aa1f365ea7868bacb2e29afe833e19cc","observation_id":"5bc6cc7b-06ae-4555-af73-997e36d384ea","resolution":{"observed_at":"2026-08-05T10:23:01.442717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.04288","last_updated":"2025-09-06T20:36:57Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-11T11:54:52.244225Z","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":1,"verified_fuzzy":25},"total_outbound_references":39},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"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."}