{"as_of":"2026-08-20T17:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fdec9aa3bd7b40bb4908f66a008442894220f7ef8d8e19092c4d1bb87baa8229","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T21:56:53.721492Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2501.03187/citation-record","integrity":"/paper/2501.03187/integrity","json":"/paper/2501.03187/citation-record.json","paper":"/paper/2501.03187"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:56:53.570700Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.570700Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:2fe62c60f9d6e733d9552ff83ef1362fe1f223c878626c4cf4949db5fa8a1c8c","observation_id":"16ad4ea5-e484-489c-bf4a-f5fc0c8fbeb5","resolution":{"observed_at":"2026-08-10T21:56:53.570700Z","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-10T21:56:54.221124Z","title":"S., and Abu-Naser, S","venue":null,"work_id":"1d090ad2-55f8-4227-8145-013254a3d822","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.575310Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:a8c30cfef4fd6430d949871847257f0b749555174efb222dab8302b45de80031","observation_id":"a0cc8f4e-2eee-4487-b30d-a0e8b3c4a102","resolution":{"observed_at":"2026-08-10T21:56:54.224062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.211742Z","title":"and Katoen, J","venue":null,"work_id":"3a1414ed-74d4-4cda-ae5f-f81eaa8b4e05","year":2008},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.578698Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:1cd0301856e8521f8d2f6dbc5a455f19d8d1e8e573b748daabdcad846939365b","observation_id":"a1f191ef-fdd2-46b1-b15b-182920db8f27","resolution":{"observed_at":"2026-08-10T21:56:54.215049Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1912.06680","last_updated":"2019-12-13T19:56:40Z","snapshot_observed_at":"2026-08-13T14:13:07.807518Z","submitted_at":"2019-12-13T19:56:40Z","title":"Dota 2 with Large Scale Deep Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1912.06680","snapshot_observed_at":"2026-08-10T21:56:53.583819Z","title":"P., Raiman, J., Salimans, T., Schlatter, J., Schneider, J., Sidor, S., Sutskever, I., Tang, J., Wolski, F., and Zhang, S","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.583819Z"},"links":{"cited_paper":"/paper/1912.06680","citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:bafcb7c230f697df244fc2aba41674c52b8ae568a92cfcad14d19ec27e7bbee3","observation_id":"46506c83-b44b-4674-be1c-819d23a793b0","resolution":{"observed_at":"2026-08-10T21:56:53.583819Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.07189","last_updated":"2019-05-29T23:20:14Z","snapshot_observed_at":"2026-08-18T06:35:21.385331Z","submitted_at":"2019-04-15T17:03:35Z","title":"Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving","version":2},"cited_work":{"arxiv_id":"1904.07189","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.07189","snapshot_observed_at":"2026-08-10T21:56:53.791519Z","title":"Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving","venue":"cs.RO","work_id":"8883244b-67b4-490b-8120-2d1f0317ddfa","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.587843Z"},"links":{"cited_paper":"/paper/1904.07189","citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:1b0f1ef9dca10e32d24301ca58306c3620e1edda715133166f8bfe24d9876659","observation_id":"bdf8bda7-9ba5-4488-ab34-801508f3342d","resolution":{"observed_at":"2026-08-10T21:56:53.795154Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.201664Z","title":"G., and Lime, D","venue":null,"work_id":"6638b5b9-2bc7-4a36-80a8-bb8c091ef648","year":2005},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.591504Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:6100fe5f133e1cf4ef0d15bdab70b49385d1fcc084d03d381d537d7b02fc542d","observation_id":"1fb18f20-3e10-46d2-87bc-2f5e50acbafc","resolution":{"observed_at":"2026-08-10T21:56:54.205151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.190897Z","title":"A., Raskin, J., and Zikelic, D","venue":null,"work_id":"469b3875-78bf-4b17-94e9-b2b66d27bed3","year":2017},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.595148Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:ee3ec4a020b1364ecbda8210e45fd0a3ed3c227c01061506ef3d48ae4f91393f","observation_id":"59aac556-a7f5-496e-81ce-de6ee4442f92","resolution":{"observed_at":"2026-08-10T21:56:54.194555Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.180172Z","title":"and Yannakakis, M","venue":null,"work_id":"e582f2de-74c7-496b-a2ee-fd6a005ca578","year":1988},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.598801Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:921d0324bc0f127d5627e563595325c8909fd6e90a73cd73ba039fa6c2cd67e5","observation_id":"6160c181-a18d-42e1-970b-655a6fd61072","resolution":{"observed_at":"2026-08-10T21:56:54.183752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.170047Z","title":"and Yannakakis, M","venue":null,"work_id":"ca77e635-ec5a-457b-9df4-bffc4bdf12a5","year":1995},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.601990Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:57db992eab6b48835833f9a9aa089fc96e5aed4792f66a6798f8bae613190e59","observation_id":"dbd57f7d-cc1c-4d81-88e1-be0300e64f4e","resolution":{"observed_at":"2026-08-10T21:56:54.173637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.160449Z","title":"and Komeili, M","venue":null,"work_id":"6b15aa63-3307-484a-90b5-05cd562904b3","year":2021},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.604987Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:1b5db3b83a6d5ef8f75f18c3cc5d2628ef39b5558264f848364a2346740305a2","observation_id":"fcfcaac7-b2a3-47f2-bbef-551d571955c3","resolution":{"observed_at":"2026-08-10T21:56:54.163600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.150843Z","title":null,"venue":null,"work_id":"188ef610-c0d8-43c3-ba69-36db9a843531","year":2006},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.607949Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:70f64e5aa60df48225001c1dfff02f3630914e4b5469052bcaa3fe7808cb8b1b","observation_id":"5f5b368e-fe8d-41a1-ab93-6db2a5daad23","resolution":{"observed_at":"2026-08-10T21:56:54.153962Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.140694Z","title":null,"venue":null,"work_id":"319657f7-d3aa-4e58-82bc-abcec7f34ae8","year":1996},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.611040Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:e8dc3a470dc6edf8c2789eaab00b7810b1ef71fd5f70d6863a8c80dcb6e44d78","observation_id":"b8c5bf75-bcbd-4616-be14-24a029da2f94","resolution":{"observed_at":"2026-08-10T21:56:54.143819Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.131221Z","title":"and Platzer, A","venue":null,"work_id":"dc89cf2f-cd15-471b-8afc-3d5989dca629","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.614253Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:3785d587a9964ecb8f9222b266f9f6953bf7e311a3d402da36a9cb2f4893a4ba","observation_id":"98f6ac2e-d85e-4786-ab80-5007466d3e9b","resolution":{"observed_at":"2026-08-10T21:56:54.134511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.120602Z","title":null,"venue":null,"work_id":"07a20b40-ba4e-4c35-a6b4-6de714a0fb57","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.617764Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:ef31e7e4352cb3ec612fa2f1897e9ce3a3efb90e9660411632bbed04daa6f4b6","observation_id":"e0f5b619-2d04-4139-b878-6d3645f35fda","resolution":{"observed_at":"2026-08-10T21:56:54.123881Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.110569Z","title":"M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., and Wojtczak, D","venue":null,"work_id":"e130cbe9-423b-4259-929e-fbe2d0540a83","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.620657Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:5aa72620baf79e0d47afc50fc3129b2be198373170f63837a48bab0de0899d2a","observation_id":"7c79f074-b480-43a6-9f2d-d508fc0ff20a","resolution":{"observed_at":"2026-08-10T21:56:54.114125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.101117Z","title":"D., Miltersen, P","venue":null,"work_id":"852cd07c-adc0-45a0-9868-394c9c2a3fc0","year":2013},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.623783Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:b9708197464172bfde10def3cfd794d3bc52444dee03694576a542cf6731c518","observation_id":"cb8e83a4-9d76-402c-a546-66b1e502fe5a","resolution":{"observed_at":"2026-08-10T21:56:54.104123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.091316Z","title":"and Jonsson, B","venue":null,"work_id":"cfae3ddb-36e6-45b3-8686-d14b3ad5e678","year":1994},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.626618Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:af90fdc80f145f078c3205866dc18e9431af1af577da890f186bf34270c931d3","observation_id":"ecda35d3-21c0-43c5-a777-b494c68d9c7c","resolution":{"observed_at":"2026-08-10T21:56:54.094866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.080232Z","title":null,"venue":null,"work_id":"71eaebed-6801-49d5-ac6a-5c666af6e466","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.629794Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:543d3967cabf879b0140bccce6e8364e657e43181c16849159b25cb9cea796e9","observation_id":"4e87c1da-d486-4cd6-9380-eb8f3fc8fddb","resolution":{"observed_at":"2026-08-10T21:56:54.083859Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.068346Z","title":null,"venue":null,"work_id":"1fd4abe1-3785-4701-a22c-31ab87a12438","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.632806Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:fe630b28066499c942f1d66aa71156681ccc0cfcc7303aab9c2d3c883ff7e330","observation_id":"0b71ff94-5bbb-4771-86e0-9aebebd441e2","resolution":{"observed_at":"2026-08-10T21:56:54.072402Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.058339Z","title":null,"venue":null,"work_id":"ebd09cbc-4ad0-4852-992e-70542416c65d","year":2020},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.636017Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:31b6ed2a6c2c96883a9da73963115bfb465e71433efd2914e08d9ac77601ceaf","observation_id":"54779864-881d-4913-89a3-80ef13f0a823","resolution":{"observed_at":"2026-08-10T21:56:54.061530Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.048207Z","title":null,"venue":null,"work_id":"155fbc30-17a8-4755-8ac1-35c72653ae69","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.639120Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:7907ec8daa204ae31fbd9dcb1dad1d8650f0df82b74ba8496d30c333eb1064ef","observation_id":"c6ac0c22-7b0f-4405-a5bc-fce1c676537c","resolution":{"observed_at":"2026-08-10T21:56:54.051690Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.038962Z","title":null,"venue":null,"work_id":"0049c155-5bcd-4ad4-85e4-28dcb17bc48c","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.641939Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:519ffc212451968e44fd1f4f860449ce07434b103cae6078042bc95485ba796a","observation_id":"bd6b095c-ff53-4c40-8acc-1f07b16b332f","resolution":{"observed_at":"2026-08-10T21:56:54.042016Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.029766Z","title":null,"venue":null,"work_id":"74560837-6122-4052-895c-032a284057a3","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.645098Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:3575f2daca146f689f4650f6fa1ce6da7cb3aba69f7d6cc7e14ddc4bc597cd03","observation_id":"996a6532-9c4f-4ac4-8f41-e54a8682dbb8","resolution":{"observed_at":"2026-08-10T21:56:54.032663Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.019569Z","title":"P., Littman, M","venue":null,"work_id":"61976322-d9f2-42be-aa96-d4fe61f459f0","year":1996},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.647876Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:1112e23eeb7a4a83caa4a2256e9bff4e6faead98486f26a0dc034ea691dc877f","observation_id":"7f1ac9eb-bcf4-44ea-b875-530059f39f2c","resolution":{"observed_at":"2026-08-10T21:56:54.023111Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:54.009106Z","title":"Y., Ribeiro, A., Bastani, O., and Kumar, V","venue":null,"work_id":"9e04b2f1-d558-430b-9e8c-30222043ce96","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.651440Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:0061dd0e84e486196b6fc5cf4fda1820f34d755c3d025554e14db6de732cbaf8","observation_id":"c334c0ca-e0c9-4114-8ca6-7cf899c2a0b6","resolution":{"observed_at":"2026-08-10T21:56:54.012744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.999138Z","title":null,"venue":null,"work_id":"be809e24-98d6-4be6-b6fd-680c9f69e991","year":2011},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.654629Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:e7c2335038365189f020d9be721b5bee476446b82fcbf092fcad838b612fe807","observation_id":"476237e4-5a62-49b9-a717-6fe18ffed4f3","resolution":{"observed_at":"2026-08-10T21:56:54.002230Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.989264Z","title":null,"venue":null,"work_id":"d5544384-adb6-4ad9-a25b-ba8034b2c48c","year":2019},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.657870Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:19292c1502b782f544bcc33cf214d7393ab26fb1b5a2e7af9768a9e36848bafd","observation_id":"e5387dfc-4386-45d9-aace-e7f009deb1c5","resolution":{"observed_at":"2026-08-10T21:56:53.992380Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.06141","last_updated":"2022-11-11T11:32:08Z","snapshot_observed_at":"2026-08-16T16:16:56.427161Z","submitted_at":"2022-11-11T11:32:08Z","title":"Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games","version":1},"cited_work":{"arxiv_id":"2211.06141","doi":null,"metadata_source":"pith","pith_arxiv_id":"2211.06141","snapshot_observed_at":"2026-08-10T21:56:53.773679Z","title":"Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games","venue":"cs.LO","work_id":"64a75bab-945d-4860-96a5-a00f005f38c8","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.661439Z"},"links":{"cited_paper":"/paper/2211.06141","citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:adb908aec7928712acadecb49f170ecbd24ff2530a2b2e364c17c838f07ce9c6","observation_id":"d7d5baec-a4db-43a9-8bde-ca3f22dd76de","resolution":{"observed_at":"2026-08-10T21:56:53.779882Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.979424Z","title":null,"venue":null,"work_id":"ccf0e053-5ba8-4bdc-bbd6-8e5d7b808f6e","year":2018},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.665092Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:29bd87494c907b086fd2c553d9f277a40f2d499d0dcb72aa5c1023667095dce3","observation_id":"b68cfa26-20ea-4f44-bc16-192ddd38970c","resolution":{"observed_at":"2026-08-10T21:56:53.982434Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.969614Z","title":"Z., Norman, G., and Parker, D","venue":null,"work_id":"a68aa4c4-269b-4c6d-94c2-eaefcb2a28af","year":2011},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.667991Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:b86a516887bdcc62fa45f24f256ddc6dcef847a3666deb7ccf1dfb86ba84e637","observation_id":"a3f3b434-cf77-4fee-a363-9a5c710a7ae6","resolution":{"observed_at":"2026-08-10T21:56:53.973106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.959756Z","title":"and Togelius, J","venue":null,"work_id":"63cf83b1-b977-4ec2-9a5a-f565a228ca28","year":2017},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.671407Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:d0096832deeaa2b5e9e77bc491c08b617eeefcbf9b80e533668cc05dae5b4b29","observation_id":"6c7df582-9ea6-417d-8a0d-385d72358ae1","resolution":{"observed_at":"2026-08-10T21:56:53.962843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.949172Z","title":null,"venue":null,"work_id":"7594b1c1-bbc5-435c-9787-ad63e073ea98","year":2020},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.674571Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:bba4ed76a5c2ebde33fd54b9533a5f1e5a7bd7d880393f6486bbfbad0da0f7b0","observation_id":"5a3430b7-17e9-47da-86ed-a182cf084dc0","resolution":{"observed_at":"2026-08-10T21:56:53.952448Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1704.04341","last_updated":"2017-04-14T03:41:59Z","snapshot_observed_at":"2026-08-14T21:06:46.272349Z","submitted_at":"2017-04-14T03:41:59Z","title":"Environment-Independent Task Specifications via GLTL","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1704.04341","snapshot_observed_at":"2026-08-10T21:56:53.677699Z","title":"L., Topcu, U., Fu, J., Isbell, C., Wen, M., and MacGlashan, J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.677699Z"},"links":{"cited_paper":"/paper/1704.04341","citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:77a6603215f14d4abd31b7844387a38c5aee8e2a86b8199550010938a0f65392","observation_id":"f0e8b928-4fbc-4c6b-bef6-7716ee36caef","resolution":{"observed_at":"2026-08-10T21:56:53.677699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1312.5602","last_updated":"2013-12-19T16:00:08Z","snapshot_observed_at":"2026-08-17T17:19:33.060917Z","submitted_at":"2013-12-19T16:00:08Z","title":"Playing Atari with Deep Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.5602","snapshot_observed_at":"2026-08-10T21:56:53.681139Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.681139Z"},"links":{"cited_paper":"/paper/1312.5602","citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:ac8c88d44a1e364b0dd53a4d7d6b8b8c62b959da1dcd957727b7e999c5392731","observation_id":"6642426b-53cc-45ab-ac05-546f2bd52310","resolution":{"observed_at":"2026-08-10T21:56:53.681139Z","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-10T21:56:53.937880Z","title":null,"venue":null,"work_id":"62a52d39-204d-4e45-b751-593dde3b5d57","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.684495Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:34873695a071fde3d774b9f1d47e0dfc84732eb3e17705342005c48acfee6baa","observation_id":"8bb20041-95bf-47c2-85c1-df9ea10b549e","resolution":{"observed_at":"2026-08-10T21:56:53.941700Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.928689Z","title":null,"venue":null,"work_id":"d2b982f0-2559-48a4-b42b-cae333dfaf9c","year":2020},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.687677Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:00783034cdc0d9ca80da76805980e91737a533ec33f9a789e20c6ee6a96994fc","observation_id":"56d92cc3-da09-44ee-bcb8-5a3ef28747dc","resolution":{"observed_at":"2026-08-10T21:56:53.931727Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.918508Z","title":null,"venue":null,"work_id":"bfc02161-e57f-4c96-b849-25266357d048","year":2021},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.690522Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:2969ac63807cfee5e43c7969ddf10bead667e612a1389ef05e4ff1beec516cac","observation_id":"df0878e3-41fa-4484-8161-e33fe8cd0dcf","resolution":{"observed_at":"2026-08-10T21:56:53.922371Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.908283Z","title":null,"venue":null,"work_id":"0873a639-70f5-4e6b-858d-e6a623c5d342","year":2021},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.693251Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:acf8d97b1d6a0ad5b1c240cb8085fbafb9661452f709636a52f71239069c75bb","observation_id":"e0dad1f0-f5d6-4021-b7dd-cc7abcda36f0","resolution":{"observed_at":"2026-08-10T21:56:53.911443Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.898026Z","title":"S., Coogan, S., Sastry, S","venue":null,"work_id":"fac48663-f2c2-4095-90e5-e689e0e4b755","year":2014},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.696481Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:c847260e6825ca031c971562518673522d9c594927732bdbcbdf326299f538b0","observation_id":"8be88ad7-a9cc-4861-9489-9454c7fec847","resolution":{"observed_at":"2026-08-10T21:56:53.901269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.887584Z","title":null,"venue":null,"work_id":"541485ce-2824-41e3-8698-c50a7f023723","year":2017},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.699549Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:8ae7acd5dfc0558b1cb7cbdc26ef0329d70f405229b8dab6845a8cd963c958d3","observation_id":"101c3151-a83a-412c-953a-46d241e81312","resolution":{"observed_at":"2026-08-10T21:56:53.891420Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.877288Z","title":null,"venue":null,"work_id":"21572c93-b150-4bf2-b7a9-19c8933c081d","year":2016},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.702441Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:040dd31b2a16092b224c6f9a6e6448558b90e18d90b64b993991bdc0d0ad218a","observation_id":"57c8372c-f117-4d4c-9138-0396920319a5","resolution":{"observed_at":"2026-08-10T21:56:53.880763Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.866108Z","title":null,"venue":null,"work_id":"d2e1a153-e364-4410-b09a-4e75d14d395d","year":2020},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.705803Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:6192ccb6fe7fc80c78b3e7d20e849ef26429e92f358cacd3a198b54019290ff8","observation_id":"b522f9ba-c074-419f-9b68-fcdcdb5028d6","resolution":{"observed_at":"2026-08-10T21:56:53.869691Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.854163Z","title":"a llstr \\","venue":null,"work_id":"73a9f21e-46ea-468b-a3b4-4899af0ba8f5","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.708599Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:7a8681272ef9de0fa8eebf2762fb4da65222a12d7d948c15534f2027d4fc6086","observation_id":"84c1e0eb-9041-4168-bca2-b9278d80a8c1","resolution":{"observed_at":"2026-08-10T21:56:53.858321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.843403Z","title":"and Garc \\' a - S \\' a nchez, P","venue":null,"work_id":"e247e49b-fdb3-4039-ae9f-1b17cb3a3434","year":2021},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.711908Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:b0615a4149b8cf7bc1887eac6c9a9a9b8a7f910b37d26dceb4479d46d06cdf66","observation_id":"912fc172-79ab-4721-84b3-68edd00322ee","resolution":{"observed_at":"2026-08-10T21:56:53.847078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.832341Z","title":null,"venue":null,"work_id":"76a5b585-66c2-45ee-bb79-48a2c6b93fc4","year":2020},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.715024Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:b9908ca5b00a204e52dbae36bbd4bcc6aca68e028dc419735087d97fba16170d","observation_id":"b0a24fb2-e53c-43c2-82b0-204789c2081b","resolution":{"observed_at":"2026-08-10T21:56:53.835753Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.822565Z","title":"and Watson, I","venue":null,"work_id":"8654104f-13af-43f7-8618-4980dcb346ae","year":2008},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.718271Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:a7663726f883b6bf41a8985994a5ed933ee61e4881d11d8d4ad3cb62813db2a4","observation_id":"f40c7c50-ce2a-405b-bb85-3341bc48a12a","resolution":{"observed_at":"2026-08-10T21:56:53.825783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T21:56:53.812757Z","title":"V., and Plaat, A","venue":null,"work_id":"397122ff-426b-4972-b458-fac8bf31631c","year":2022},"citing_paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-10T21:56:53.721492Z"},"links":{"citing_paper":"/paper/2501.03187"},"observation_digest":"sha256:8e4d647b4791e87f7836e7467cbdfdf10385b8cf72f54203d1542b85ca946062","observation_id":"7f18a86e-f0e4-4b19-a524-f62115ef4241","resolution":{"observed_at":"2026-08-10T21:56:53.815681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.03187","last_updated":"2025-01-06T18:04:20Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-20T13:03:46.493781Z","submitted_at":"2025-01-06T18:04:20Z","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":2,"verified_fuzzy":20},"total_outbound_references":47},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2501.03187."}