{"as_of":"2026-08-11T05:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:be2f370b961df3c58f9f321235f9c485ca2f4396f7567b3637f26c7601db0621","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-10T06:31:04.303077+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-09T01:11:05.523874Z","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:1e5409759f5df5b8f03b33469bee61b786cd64c03555b2b494028fe9c367906c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:6aa211f3d84cdb48108af4462686df0b0bd155513860df8577422e505631815a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:54ac161ac2a297ec21934e323e6e87ce6304d30f974978340048149497ee76ba","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:369c1dd19319544858757a5b3f62de80c0f711ca7accbbc309d7a643da9fb7a8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:57bbb040e8a74b9db1e1da538c2d1f6376ce9011c4ea7f98edeff7bddad33009","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:ccdaedebc043ddb1d37ebc9cfc4174badec1da0910b0a269e6cb2e67e5ca5eb8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:6f48ae3079d4a628a1d843c285e9c0a0dfbcf480e76b42a0b4638c7e5427f044","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:93a23afc67581f73aaaaefe8dc1a031a52f012d4a73ceec9a40cedadcaf37566","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:15ba0979119e7f278a468d23cce734952f3027049c6df19801b5f7dc7d820acd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:77d9b6aa860305a6138eadf63b6c49a24f4c6d65f96726def3b0fda1452ccafb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:9588ee7afed7709f0c3bdcd1b370f4dc1325adca4de3ea4b25227fd959a89d9c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:d60d7462d71b00f84c3e4639d51a61aba94b65c27e075571f2e6d119d3f1dc25","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:ff576f752e36ef2bcb57612d8bfaded11115d9aae65b6f052dc8575c29ccdedd","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-09T01:11:05.523874Z","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:bee221cab92b342401bf290e06250994ce2530b2edbdcebd622532254d9e2c14","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:755bcce0f0a29ce3b38fadc062a847d2112973710d2c248493b7227d0fe5475f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:c76472f664a1c88198ebe83e7c2c34507f873a6367d5365817c83cf453ad2b59","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:78c00988fdf0f4a5d2fc2111a5e07d0df4e1473c8c7977b5460bccb35f2a55ff","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:67adba99c1b18690fb934afdd884d085e69d5d7f44f13e401e274f595dcef24e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:77a3b342c1964cdc2f05ad89907332142ad41e734879c3a6e98dffe043495060","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:f9fc7791f7eab985ffa32d093586b8c8977db3c86e144dd1da4866400d8df4ea","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:e4f9afe4930716c318b3fe49a807562305f2e8ff01eb03f8e1104d32bb40b4ee","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:ec8fa020e660551022652e15f087e0f8008e8b6919e059fd6cb99928305249f1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:3614e6078cabccd9235c0ec2b4021e5a5d2ba793cb11835b0b19106a732907bb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:8340aa4fade41662fdb0d05ed0da5131f9e0913f9c1210b703d223e8174471b5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:3c71af4efe16a405ce74d81adf5c63caa033dc9e3ad7d8a38a8baa12c8a65be3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:39116bcea691012eab7d04b2abf2ef3e431fa29870a94528b1c635820fc2cfff","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:e205e91e0ef1b60e5eeb744033e18470b81c4fc9dc469401f576c85d58a4fcd3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:eb714fbda4311eec3b1e2b5a32725c74cbd00a489daecd701ce57fac4059b837","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:3c1f658125ac1e5f47c262ad351ca6dad1ed4d802596eb07351552a6bb0a268b","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-09T01:11:05.523874Z","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:91e0f75ba2925b637bdb31a5d4adae74dca5ce6310ab22d527130877509c07c9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:95f6651ea0add9939ca8c00a94c6cba90280133ad83ca3b33cada98dcb99d5ea","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:75f11442e8b7c2b00fcacdab89738ff6116f7e4245e334cae7d001290b937fd0","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:0db8543bdff5b8b05f1b81e6dfa52971c1343f0a617163d7fccd4cd80133ffc3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:1500bea956ad606e5ad9f4a6e3d63e167e9dfddcef6c791fa2b7064b73bfcfff","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:4b1a3764a641b068cef9793a3b22b4cbbadb5dc3df5aabeef1ea9a4206f5b093","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:f9fd1781048f67d4f7e85e93714d9b3df6a83a350715fa4ec81fb0e4c6b7fb3e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:065a6a642be205fc10ebadedbe0bd85675caa5729603cfc96d17c9d4b2609dd7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:e6b8c497c412735bd30d6847b3255e69adab954a53aae836196c5361f69c4de7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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:608b8091575450851c31d9c9c35a83561458f1ade0125580779eee32a8481fd1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T01:11:05.523874Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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."}