{"as_of":"2026-08-05T16:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d3fa5065a8f8ad59981a8b89f24d06cb4cfd68fa71fcd51f971db6053a8a1e59","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-13T21:47:55.704455Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+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/2604.01372/citation-record","integrity":"/paper/2604.01372/integrity","json":"/paper/2604.01372/citation-record.json","paper":"/paper/2604.01372"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Abate, M","venue":null,"work_id":"28407ad5-799b-4eca-9362-29af1cbe5797","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:340a86941e23b4835f925ec001ecfcd122bc3e491784e2f1689a2cac60afadf1","observation_id":"8a90e0d4-75dc-4149-b3d6-b9db64b34425","resolution":{"observed_at":"2026-05-13T21:48:21.616497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Abate, M","venue":null,"work_id":"1b65a7cd-3e4a-4fa9-9dc9-6d664e87a982","year":2008},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:caa551e935f7ffa95f678f831314364da580191055fa9fb0d4154152392299c0","observation_id":"de5a6e6e-19c7-4317-b769-6a96c8d481da","resolution":{"observed_at":"2026-05-13T21:48:21.619841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Alshiekh, R","venue":null,"work_id":"f0712df6-0c7b-463b-be31-72e3f035e273","year":2018},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:78c4a16f8a6589572433d269346fd2ea1e335b896c840141b4264b807fc7642c","observation_id":"c2f6a87a-cc3c-4509-8cc5-c925c108273d","resolution":{"observed_at":"2026-05-13T21:48:21.612953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a189f8db-2f3a-4e2d-bc60-3b37b6c87664","year":2017},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:9e39deeff3e9a64ce6ebd8b0941fd1301da87d01ff74839f4bbd9de1a0db1619","observation_id":"08477913-3eba-483d-a099-ff327b95fedb","resolution":{"observed_at":"2026-05-13T21:48:21.608278Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"182bde93-55d7-42e9-a95f-36538a88a39d","year":2012},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:10e01dc4311159045e24d681aab047cc5ba02c5b03b43234a6eb2083d558a756","observation_id":"ec026739-48b5-42d9-8d55-f94d9f3ac4db","resolution":{"observed_at":"2026-05-13T21:48:21.609857Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Badings and A Abate","venue":null,"work_id":"f82c5b58-84d5-4085-8f21-e54db1b3dbdf","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:a7d47fd5d3f449b6c4d0f720ac624ae70b2a5aa5e288323a2121b9f2be5edd28","observation_id":"4488b72e-c0d2-451e-b283-08667ab9ebcb","resolution":{"observed_at":"2026-05-13T21:48:21.605087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Badings, W","venue":null,"work_id":"a06cf73e-4f30-438e-a791-85f0a250bd80","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:f08958b7d5cc7048b34ddfececfb7e20f6f7b76bc635cd8953c0d4250881b57d","observation_id":"9c898337-fc8a-42d4-b11e-2803150efe10","resolution":{"observed_at":"2026-05-13T21:48:21.542185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Badings, L","venue":null,"work_id":"374ce4cc-2a4d-4303-bd1a-6696c9c6136b","year":2023},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:6c3f86b32ff6ea6e5ce280cf552437838c84df2c45040daa0b858bf7b3519d67","observation_id":"a6d293cd-91c9-4144-8fd0-bb857e5372e0","resolution":{"observed_at":"2026-05-13T21:48:21.535600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Baier and J","venue":null,"work_id":"25fc707b-03ef-43b4-a0d6-cd624ca03e57","year":2008},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:fdc84908c3eeaf2cccdc51457cb24dbdb130a8c148775360c4968b28acd14cc8","observation_id":"f763e3a6-2bba-43ae-bc61-ce76612ed958","resolution":{"observed_at":"2026-05-13T21:48:21.537445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Belta, B","venue":null,"work_id":"4c0dd7eb-f0fd-4d94-a54b-45da69aa6135","year":2017},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:ca244805257d6e6f3e7f8f7e9904501bdacddbe8c37192d261a785a7b1b8ed8a","observation_id":"b7fd79d5-7dfc-4115-bba4-021dc106447c","resolution":{"observed_at":"2026-05-13T21:48:21.606775Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Bemporad and M","venue":null,"work_id":"344a87a7-165c-4dcc-b712-2669f6eb93a7","year":1999},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:447074050a61f167d0df07803d918fa3ed3ba3cc6ade4e7c57851f89ecf4945b","observation_id":"01aad3dc-9bf4-4bd7-b03e-43986a45ee78","resolution":{"observed_at":"2026-05-13T21:48:21.531223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e18a05ae-0fce-419d-a2ac-a15b821e5f5d","year":1996},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:79f3d5d29c68e4395604f6ff0df7e496e9c352ff774ace4d55dbdfae4219bcc4","observation_id":"cdcc9718-27b7-4fb7-ad25-4078efe10fac","resolution":{"observed_at":"2026-05-13T21:48:21.529694Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4b998ec1-7b06-49f0-a310-9ad8e4db41c3","year":2023},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:82808608348a2686568c51bd2179232262e7b002625bb8135b3327a7a172ef6c","observation_id":"d07a0d74-2777-4ade-89d5-0a6d05f0c2d5","resolution":{"observed_at":"2026-05-13T21:48:21.532956Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Cauchi, L","venue":null,"work_id":"afb5ad0c-c24f-4805-865c-f5ac5da46af1","year":2019},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:31745dcf13d2d6f753c95c1a31aab1df8a286a90e27bc8dd5594b8f6dd604102","observation_id":"b735ce26-f81f-4198-bc1b-3109ae088d99","resolution":{"observed_at":"2026-05-13T21:48:21.540563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"aa15ba6e-0c12-4707-98cd-b1f878a63591","year":2021},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:62aee1828a18623abf05da4e4d3e71dade6f292aefab974604993532b524f662","observation_id":"e0427248-5c0c-4df7-8f6d-5f42640aa0da","resolution":{"observed_at":"2026-05-13T21:48:21.543771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Dawson, S","venue":null,"work_id":"9a4dfaf1-567b-455c-ba25-16e8e3bdc967","year":2023},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:8876a49c3417e0520dff397ec15cdb0f7e5238a258def240d6b7dbd28910a31f","observation_id":"cb66461d-2518-48ff-8c0e-380f9b12ce1e","resolution":{"observed_at":"2026-05-13T21:48:21.526738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f55f7cfc-984b-49cb-9592-90582d106c9a","year":2012},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:891db9a4b91ce580ab32d193e14b8929798a5261923a04324e0459143d87fcc4","observation_id":"311eeb09-7e15-4d8a-a7a6-d1a6ffd91c9b","resolution":{"observed_at":"2026-05-13T21:48:21.528234Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Girard and G","venue":null,"work_id":"699ac079-57e7-43cc-ba8e-49185f29c396","year":2009},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:3a1a81351debc23260f7f502d5c06c34562cca7e3386a1732c2424d4d99150ae","observation_id":"32540033-4419-417f-af76-4839f55a9e9a","resolution":{"observed_at":"2026-05-13T21:48:21.545303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-07-06T21:51:29.086752Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"cited_work":{"arxiv_id":"2507.02213","doi":"10.48550/arxiv.2507.02213","metadata_source":"arxiv_reference","pith_arxiv_id":"2507.02213","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gracia and M","venue":"ArXiv.org","work_id":"7a9a002a-4628-4e46-916d-847324b07b6c","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"cited_paper":"/paper/2507.02213","citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:b9e708c099790f00a4b44dbd0665bdb8c53ba2d6b3b69ddf52b626a9697ec05e","observation_id":"0a400dfd-2d9b-4e26-9190-0b0405ffb90e","resolution":{"observed_at":"2026-05-13T21:48:18.944932Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Gracia, L","venue":null,"work_id":"e5f8d22b-4fe6-4a26-98a1-5a0955ddad34","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:8747f179032f5569c284b892f5a8f615fc6b5a7701749bfec4aae06ce07d848b","observation_id":"1b47fcc9-9729-45e4-be84-bbab960715ae","resolution":{"observed_at":"2026-05-13T21:48:21.624998Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Gurobi Optimizer Reference Manual","venue":null,"work_id":"bc2322bc-bc6d-4a17-a66a-bd5c603e2a1e","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:ab5e7e49e45cc740c1ec80f5f0cbf061dc292d321441fef0c93f52b7ae43ae80","observation_id":"1f00a41e-f039-461b-a7c2-9739ad589ec5","resolution":{"observed_at":"2026-05-13T21:48:21.628370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Haesaert and S","venue":null,"work_id":"85059d6b-f0c2-4932-bd9a-a096b2a5a740","year":2021},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:7a81ea410fb7bda60d609b7182e9037b975375c1d767cdafcbe15ae3c463970b","observation_id":"6a26a8e2-4095-4aa5-beac-4699c1593e82","resolution":{"observed_at":"2026-05-13T21:48:21.611409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Haesaert, S","venue":null,"work_id":"281cbc77-8149-483c-b14d-04b0e2eceab2","year":2017},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:d04db2db4bede6c6ec67de084031be5f8180d17f14212a3ab530eef829623fbc","observation_id":"4885cb1d-fa73-4ad2-812d-d7210a70b3d9","resolution":{"observed_at":"2026-05-13T21:48:21.618243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"cfc8854f-89ed-462a-8157-70a6684740d8","year":2001},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:7a9e2658a30fa8b51177c105980784e5b5e096c087e9d71364d9d40267b58c47","observation_id":"e42852ef-b01c-4b02-b22d-20418b6f0771","resolution":{"observed_at":"2026-05-13T21:48:21.629964Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Hensel, S","venue":null,"work_id":"4f7d7a78-2274-4269-bbf8-f2d8a7f5f544","year":2022},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:2899dd693179196f4e415d8e85ca3b3e3f4cdaa4aa5842bfbff0477440371e0a","observation_id":"d70f7ecf-098c-4e8f-a472-143399c92cb7","resolution":{"observed_at":"2026-05-13T21:48:21.632971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"aa1b962c-c9ad-4064-be2a-38e14534a38e","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:f944fd2dbd48f57215685725898a5ca74fcced221e224da8035989f414f83399","observation_id":"db477bf2-9243-4b98-aa29-5a43c7da7d92","resolution":{"observed_at":"2026-05-13T21:48:21.623428Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Hewing, K","venue":null,"work_id":"aee61f64-e0b8-4331-ba74-ff1b521d9d20","year":2020},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:c9caf8cad8add5bb8c757f3335c354c5bfbc17d8f487e386e73dba1920e95202","observation_id":"029569b6-d771-42c3-850d-c781afcc985c","resolution":{"observed_at":"2026-05-13T21:48:21.631496Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"aa5551e3-6d81-4e0a-bc40-2290ec2b4916","year":2024},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:be05c3bd1fa334352d40ba64b0040877353cb6340afeaf0d18faa403c47df423","observation_id":"fdeacece-3e66-485d-bd6a-7f451c6b70ed","resolution":{"observed_at":"2026-05-13T21:48:21.581159Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b558596b-e79f-4f83-8dd7-e13b2d3fc190","year":2005},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:ddcf10b9ad1d9f2e91c9bdf562cd1375858830cf74911cacfc95c5f198778386","observation_id":"31e4e201-3c79-4641-b19f-d776988cf43d","resolution":{"observed_at":"2026-05-13T21:48:21.582767Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Jackson, L","venue":null,"work_id":"e5e60d1e-c1ad-4d93-ac64-4e9427145151","year":2021},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:23abaf09cd677fec8c9365cb03ba5b63e6b6be66c80fb053da1f0fef8158e440","observation_id":"1c0e15e6-dbc2-41cd-a05d-a6a5db29c2ee","resolution":{"observed_at":"2026-05-13T21:48:21.584543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Jagtap, S","venue":null,"work_id":"5e1d5460-9c62-403b-977e-1d8baeb55238","year":2021},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:331c674ffe5e031d59feead7d7de72fc1cd8aa16524f08615d5b7ebec4bed0b2","observation_id":"cd160874-e28f-4a72-a35d-0bfa144f19e6","resolution":{"observed_at":"2026-05-13T21:48:21.588679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Kallenberg.Foundations of Modern Probability","venue":null,"work_id":"35f008d0-6090-4499-9062-9278efb07288","year":2021},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:289ac9ef5ff48762e03fb99610ea7e53684009005b25446e0b9cbcb5ba7efd78","observation_id":"7cc78242-587c-4881-a16f-47015f7b05a2","resolution":{"observed_at":"2026-05-13T21:48:21.597030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3a0493ad-de55-4eca-8c66-d92fd7d50e67","year":2024},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:7205cf14c9b041c0e08dffb923387b1a7a52867272d7fba0cf012925747526c4","observation_id":"e1509265-28c6-48c7-9de2-6098dcd046c0","resolution":{"observed_at":"2026-05-13T21:48:21.579568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1b24d8ab-d6fb-4a18-8f35-e3b856769073","year":2015},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:b1eb2da4001f09f2ffbf965c0a05ff648ce982215d37cfff0a9e61c373e289d4","observation_id":"5ce747d3-7ac4-413e-83ea-7d3c4c20e2b6","resolution":{"observed_at":"2026-05-13T21:48:21.598659Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Kwiatkowska, G","venue":null,"work_id":"49a9528a-0f2b-4866-9054-1ac9552b9538","year":2011},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:9796bb6934d4ab50aaf3df616fa0a961dc12d6d6af7aac227e7cfce2cdc7a1c5","observation_id":"14247db4-c8e6-4af6-af73-c6d994701b57","resolution":{"observed_at":"2026-05-13T21:48:21.621889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Lahijanian, S","venue":null,"work_id":"963dc9a6-e8de-4d0e-9f8a-9a3f49006e64","year":2031},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:95d84be93ecbda32cd9c92f7dc33e8fd45bf477553c7ac54816d0bb0d12404d2","observation_id":"8a6ca72b-6195-458d-8bf2-9e1f38f56993","resolution":{"observed_at":"2026-05-13T21:48:21.564651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d230dc93-93eb-4e82-ab95-df9a5ff9e56d","year":2024},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:ccb2f533ed838066b8b5e31914e4931bb5527b82cb69ca7e13ca2c2d4bde9491","observation_id":"100bc5cf-4f21-4255-88ee-ce86af5a192d","resolution":{"observed_at":"2026-05-13T21:48:21.560671Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Lavaei, S","venue":null,"work_id":"587567d9-65a6-4dee-8084-25a768dc0e4c","year":2022},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:bda269a0940747feab6c3e5cbe2a380edddffb92e53e359852472d62f2fcb3db","observation_id":"67e4e764-0043-4f8e-b8a3-92208e74ffcb","resolution":{"observed_at":"2026-05-13T21:48:21.626626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Lavaei, S","venue":null,"work_id":"c04be9b0-0f5e-4cae-bd78-36012782c879","year":2023},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:274f385cd8dfaa4d5b58f8081e14e7a9e9b0070ee90717a4b76465ec50bec6c8","observation_id":"75d3231a-72e1-473d-a036-8c2b13b0fa8d","resolution":{"observed_at":"2026-05-13T21:48:21.600216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5c61c497-a829-48b6-b14f-e95bb64c6306","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:e352e1a7aab59a7661d13e01935e938204d442ec6c2da8db5c278a3e83b26973","observation_id":"903e266c-1422-4061-8a13-89f9b4207d45","resolution":{"observed_at":"2026-05-13T21:48:21.594916Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ff864e52-6696-4b43-9a59-b345862e2399","year":2016},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:74865336b63dde6041c7d50ae238327a90eadca710100047d9c674d6f6ac2bc1","observation_id":"088b8a5f-04c7-4090-82e1-8a6cd20afb42","resolution":{"observed_at":"2026-05-13T21:48:21.586385Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"46b7fbdc-e6dc-48bf-8892-cce08f481050","year":1990},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:c447225c00e86fe5ce429c2b1f364ea2309b8eff733ef5de08fc02666530ece4","observation_id":"f6671963-fc4e-4ed9-a2cc-40415164c112","resolution":{"observed_at":"2026-05-13T21:48:21.592832Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ccfffb64-2e21-4526-9517-138a184d2be0","year":2024},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:1c4669b95af0138a6f853fc21bda05821978d89f72802431aa2f372f7dec4856","observation_id":"4281d654-2490-422f-95ab-fd90e02d7207","resolution":{"observed_at":"2026-05-13T21:48:21.601989Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Nazeri, T","venue":null,"work_id":"6c7855cb-344d-4372-81e6-202bd73afd7e","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:00c453de63c729db4bb4300b4ac4d3af4e884183965ac6d26fd72e466cd7a314","observation_id":"444871e4-8666-499d-a311-a516da56c266","resolution":{"observed_at":"2026-05-13T21:48:21.571023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Ni and M","venue":null,"work_id":"cb1b3550-0196-4674-9453-ef8827b80441","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:223e9d772f6b179ef62c4fd66bea37cf7f3bd11e6ad0af6f5d340e19a5038541","observation_id":"28a9bb9d-ee30-4b4e-ae08-84360dd034ad","resolution":{"observed_at":"2026-05-13T21:48:21.572732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Nilim and L","venue":null,"work_id":"a6603304-d9d9-4dc6-b510-fa8e4eb7b0bf","year":2005},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:6e324ef63f038329c0c395a1e69bcc3004680d741eb603d901739d79d4572ad8","observation_id":"2cb0154d-45aa-46b6-9e34-b0b6691d0f3e","resolution":{"observed_at":"2026-05-13T21:48:21.567831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2c203013-1c31-4ed5-8aa7-b7572414a782","year":1977},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:3e5ef609ecbeaed28e1835b454da2f02cfbcc6a282ab9a2cdf258087ec5b732b","observation_id":"9a1e3188-891c-4123-adb9-2262bc6593bb","resolution":{"observed_at":"2026-05-13T21:48:21.566231Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Prajna, A","venue":null,"work_id":"ac1ebdfe-c8e0-4905-a129-a4a0994b8a08","year":2007},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:f5d9c8a96fe5172856100fff18f23f9a010044ebb0efa92ea2c998bb6a158abd","observation_id":"33a768b5-6c2a-47d9-90db-5e9fae2b5dce","resolution":{"observed_at":"2026-05-13T21:48:21.569358Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"951bd8ff-9236-48b0-a194-1b2ebf153e19","year":2020},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:89107a084403026d92cb4dd86459536ae9fe5f0a55bebe152f35dcebf368187f","observation_id":"8fa441c6-887c-4f50-89b3-eb8669a91639","resolution":{"observed_at":"2026-05-13T21:48:21.574332Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7203eb99-fd0b-4078-85ff-70ede3d57c19","year":2017},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:309a794b0c76ec84d28131c89ce1d2a817009b6f492a94154cef417a77f47d3e","observation_id":"24f5600c-593f-4c67-8fea-9e580da3ce8f","resolution":{"observed_at":"2026-05-13T21:48:21.576117Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Reiter, J","venue":null,"work_id":"b4432e13-309c-4836-8ac1-6f0b5ffed9f0","year":2026},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:ac246880950ca8b10f183f50eeb5994370c09b7069e3f120683818f1e151b73b","observation_id":"cd46a9d7-2cbb-4baa-870f-ca3b856d833c","resolution":{"observed_at":"2026-05-13T21:48:21.577817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4121/631b574d-40e8-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Riccardi, T","venue":null,"work_id":"f4b5c3d8-de9a-4d2f-8c46-0c053bf5518b","year":2026},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:fd726c25a3b8e6cee01c3174d533ee18840802fb967f1f828a8b1d736f32c701","observation_id":"3ab2c9f1-888b-477b-b6be-73ee83d2e580","resolution":{"observed_at":"2026-05-13T21:48:18.938997Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Riccardi, L","venue":null,"work_id":"5fa32401-8d75-455d-91e4-0c56a8493951","year":2026},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:0c003a8abf858e8628e5e8c1a24650dfb91d121feab54ee3ca498590efb31a7b","observation_id":"14af12f1-e449-4d3f-b5a5-73ba431ff8b4","resolution":{"observed_at":"2026-05-13T21:48:21.590786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Scattolini","venue":null,"work_id":"839cbdb7-13a3-4181-9767-c27b60220dd6","year":2009},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:5c159598cc611976f7a203d97519904e4d6dccf462d100854573eb6da5eb55bc","observation_id":"c602c4c1-4875-4837-a8bd-03cc84a453cd","resolution":{"observed_at":"2026-05-13T21:48:21.603552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Segala and N","venue":null,"work_id":"d8933839-f12b-4476-9156-38417cccba75","year":1995},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:2ce3a7d2be6be2971b7617701b57cf5d3f2fbb012fddc58493f35ba63dc78412","observation_id":"c768546f-d9fd-4492-848d-26beafafe708","resolution":{"observed_at":"2026-05-13T21:48:21.562743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Siciliano, L","venue":null,"work_id":"8b65f0d8-3e7b-443a-95b7-46f6971bcfe6","year":2009},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:82dd895f19e5fdb7e8648410c4c3fab7f09aeca069864fdacf2bbba636bcef3d","observation_id":"012d3dcc-bbe2-442e-be57-3d5b7cf6ac5f","resolution":{"observed_at":"2026-05-13T21:48:21.555191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"96d50180-5a8e-4b33-b6a9-cfc7248f21c1","year":1981},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:019a2f555bcb63bba956723c28c1660a126bafd3e644e837f31bb4c56de7ca9e","observation_id":"03ee2070-374b-4224-8891-b2ac537632ed","resolution":{"observed_at":"2026-05-13T21:48:21.558589Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Suilen, T","venue":null,"work_id":"f2010b8f-6575-4026-b7b7-9947686ccd90","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:cba9603e9ef8b5d844bef192c3ac8e41f19c6b31da160cb8df75e1c2d02617de","observation_id":"6b543aac-68b3-456a-9f8f-e344348e28b1","resolution":{"observed_at":"2026-05-13T21:48:21.553483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Tabuada.Verification and Control of Hybrid Systems: A Symbolic Approach","venue":null,"work_id":"da17b210-fc61-4cfa-b1f7-377056185c80","year":2009},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:0b9f609f2405d3b55c4655a3a35fd3233da99bd0b29f8eaa57334d9c6bacf048","observation_id":"91542f16-6e78-42ff-bf49-74bd913b9ef9","resolution":{"observed_at":"2026-05-13T21:48:21.556935Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17032","last_updated":"2025-11-02T13:42:19Z","snapshot_observed_at":"2026-07-06T18:51:06.750136Z","submitted_at":"2024-07-24T06:35:05Z","title":"Gymnasium: A Standard Interface for Reinforcement Learning Environments","version":4},"cited_work":{"arxiv_id":"2407.17032","doi":"10.48550/arxiv.2407.17032","metadata_source":"pith","pith_arxiv_id":"2407.17032","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gymnasium: A Standard Interface for Reinforcement Learning Environments","venue":"cs.LG","work_id":"5382dc1c-a327-49b9-afda-4794d5847698","year":2024},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"cited_paper":"/paper/2407.17032","citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:dcc362e16062836ca9dbd1d1b6c662a19843a8ce2c2ada653cf831a4d64c86df","observation_id":"2da56bd9-ac95-45da-9a9c-979ccd5fb88c","resolution":{"observed_at":"2026-05-13T21:48:18.951183Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-13T20:21:08.751241+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T20:21:08.751241+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Van Huijgevoort, O","venue":null,"work_id":"19c9944c-2a99-49f5-acf3-9e04da50eeeb","year":2023},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:c0b0e95da359184b6a8793601ef8f63185ce142c7dc82a62998621cc0cb04615","observation_id":"3c1ac85e-1f27-4ec5-bb08-92dad9b1609b","resolution":{"observed_at":"2026-05-13T21:48:21.551838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6bbd56d7-c6ff-458f-833a-a7ce6a38a2e1","year":2021},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:e6fbd361efb52a7d47c1e0f70d4b52f8ec2ba9890297e19f0d58273d78fd8670","observation_id":"bba83006-3c4c-4f68-8944-1a1e1166079b","resolution":{"observed_at":"2026-05-13T21:48:21.550248Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"da77fff3-2778-4bd7-b276-18f283b59649","year":2012},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:eb851514e581b8bd77e09c55e8dd404d80041927ceb01539186649be03a325fa","observation_id":"e8911841-6a4b-445b-92b3-32bdd14c35bf","resolution":{"observed_at":"2026-05-13T21:48:21.546909Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"ˇZikeli´ c, M","venue":null,"work_id":"866ef8ed-f78f-4de6-bb5f-bc9c212caec4","year":2023},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:566c5e98b26cb31b207a182c2db3c8959d88ce6007f8fe1accd0b455de4af01a","observation_id":"e09932ee-5a48-451e-abf3-33d63d894165","resolution":{"observed_at":"2026-05-13T21:48:21.548720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":23,"verified_exact":2,"verified_fuzzy":38},"total_outbound_references":64},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2604.01372."}