{"as_of":"2026-08-21T22:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:19820f60693d77ca9c32dd0bf818ef55f7042713e04c47d83689ff3eea3d45dc","coverage":[{"denominator":99,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":99,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T21:54:51.910074Z","state":"measured"},{"denominator":99,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":99,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2511.13460/citation-record","integrity":"/paper/2511.13460/integrity","json":"/paper/2511.13460/citation-record.json","paper":"/paper/2511.13460"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.621306Z","title":"In: Salkind, N.J","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.621306Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:f5451bd8f2e281e8da538ecc3ac1b092064f693732bec9d2566ebbbfd6bd2430","observation_id":"b7bb3949-6a7f-409f-9367-23aaaf47ea1b","resolution":{"observed_at":"2026-08-03T21:54:51.621306Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.624987Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.624987Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:263142f61455f51501dfbdbb4de62acaf5f09b7fcae20d9aecc319a751769de5","observation_id":"e9d66663-ec19-4e67-9bfb-dea86ec7717c","resolution":{"observed_at":"2026-08-03T21:54:51.624987Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.628332Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.628332Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:2f46b632ef5fd2cdba71156d25434b3f5e9d467f3914c22bcfe76de8c8be08aa","observation_id":"f91f25ef-1f63-4688-bc40-82807df67c6c","resolution":{"observed_at":"2026-08-03T21:54:51.628332Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.631257Z","title":"In: Beyer, D., Hartmanns, A., Kordon, F","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.631257Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b99939dac5afcffa51520d80737ed1e7afe571fe3bcfe669945531d8e6331089","observation_id":"fbed3faf-a2f2-401e-ae90-6eda878c7ac6","resolution":{"observed_at":"2026-08-03T21:54:51.631257Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.634195Z","title":"(eds.) 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.634195Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:c258c9a4db5973af3952922f83210c181b812b6e958422b833249caea75bdf42","observation_id":"25aa309f-a703-431c-8ff2-60a3faced7ba","resolution":{"observed_at":"2026-08-03T21:54:51.634195Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.637097Z","title":"In: Gretton, A., Robert, C.C","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.637097Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:c525407cfb528599ebd28595421e9bb8b4f5d966b4527f5784f918f59f9686ee","observation_id":"559e25ee-09c9-43f8-a68e-3a900aa289a5","resolution":{"observed_at":"2026-08-03T21:54:51.637097Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.640313Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.640313Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:a6fc8faad52f2eb844b20347e7f97ba48f0eb747a3251ceabbdb6f49c3d5ef03","observation_id":"06a3a1dd-68ab-43d5-a4c7-73775afdd54f","resolution":{"observed_at":"2026-08-03T21:54:51.640313Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/978-1-61499-627-9-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Esparza, J., Grumberg, O., Sickert, S","venue":"NATO science for peace and security series. D, Information and communication security","work_id":"b61233ac-b2c0-46c4-8007-dc1f10ddc52a","year":2016},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.643127Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:cb0777d95cb5520489c38728cf2df238e821a773e9771f5a075d5d10fb37990b","observation_id":"55efde14-9e7a-4335-8ac8-a438e3894d1f","resolution":{"observed_at":"2026-08-03T21:58:31.033046Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.646046Z","title":"In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.646046Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:3195db4d52dbac598e8daa3e82049e478a97679110dcf06ef17db8a26049ee73","observation_id":"8429df97-b593-4f84-a63d-4ea7ca548243","resolution":{"observed_at":"2026-08-03T21:54:51.646046Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-73959-1_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Heintz, F., Milano, M., O’Sullivan, B","venue":"Lecture notes in computer science","work_id":"c9712433-14ca-4224-a820-114728a571b0","year":2020},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.648889Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:4f7d5e4c3d20eefdf75ca946e7e80c50711ee9c67f20ff67601c7b9d40d23b36","observation_id":"61739afd-44b8-4cde-bcf1-7213789294c4","resolution":{"observed_at":"2026-08-03T21:58:30.653390Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.651920Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.651920Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:61f9a7d66ee9d0c6ea6460dff22cf06bf1459a06994ecd1b27d1bb8f61282735","observation_id":"0a2b68a4-0e56-49b2-b71a-a7ec2fbbbd53","resolution":{"observed_at":"2026-08-03T21:54:51.651920Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-73368-3_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"(eds.) 19th International Conference on Computer Aided Verification (CAV 2007)","venue":"Lecture notes in computer science","work_id":"5090f105-4cb6-4c57-bab0-9988afe5da63","year":2007},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.654750Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:7dc470442c78e074192abc7a3d52d7f94e6a75f603eab6b7fba56ad2863b8f1d","observation_id":"33e9f649-a320-4581-af45-21ea42d88c0d","resolution":{"observed_at":"2026-08-03T21:58:30.362800Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.657498Z","title":"Journal of Mathematics and Mechanics 6(5), 679–684 (1957)","venue":null,"work_id":null,"year":1957},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.657498Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b18dd5e7d6c0fb71cebe75a600a1a7f727fd4385078668f97c74b212bfed5b65","observation_id":"3eabf5a4-0b4d-4e61-901d-3a2d4e3775a4","resolution":{"observed_at":"2026-08-03T21:54:51.657498Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.660324Z","title":"In: 15th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1995)","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.660324Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:fef2c44d777b6cfdb19fb16d3b6f9fdfc377a38252cd42ed24a3512c64b57285","observation_id":"1401d6ea-af65-4791-9ee7-e0427fe98934","resolution":{"observed_at":"2026-08-03T21:54:51.660324Z","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":"10.1007/s00165-018-0458-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Formal Aspects Com- put.31(2), 261–285 (2019).https://doi.org/10.1007/S00165-018-0458-2","venue":"Formal Aspects of Computing","work_id":"960e6d2a-2814-48a1-9465-18362760f806","year":2019},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.663279Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:163e59046ce937ed7bcff8398c453dd39f062be305ac1acd9d7b093fa3aa12dd","observation_id":"0c1256ee-bcfb-4eac-b08c-e0fc1a239c54","resolution":{"observed_at":"2026-08-03T21:58:30.071205Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.666220Z","title":"In: Tesauro, G., Touretzky, D.S., Leen, T.K","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.666220Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:738c2fd91ce3794eda5c0804874a81904213dfab3c437eda5066da2fb6c8a4b8","observation_id":"2e01cfc2-2812-49c2-be41-8f592e09899a","resolution":{"observed_at":"2026-08-03T21:54:51.666220Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.668902Z","title":"In: Steffen, B","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.668902Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:eb6833f8756df22120e81a025e556d7dc55b5622bd9a7915e2330e82313d3205","observation_id":"1f3d20b9-3937-41ed-a242-91dcb9234d4d","resolution":{"observed_at":"2026-08-03T21:54:51.668902Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.671611Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.671611Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:9171313949444c1199788e1e980ed17864ec55e50d5d02fdc1ad8f9033357535","observation_id":"1c64a7ee-6949-4fac-892c-a76f2f9e309a","resolution":{"observed_at":"2026-08-03T21:54:51.671611Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.674716Z","title":"In: Legay, A., Margaria, T","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.674716Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:f91d0f9efed7e2b947127bf5dfab569ac58319cbae00bec793d0eb0fdee59c6c","observation_id":"cbeba6c4-def3-4f26-aeec-7e75709a6dc5","resolution":{"observed_at":"2026-08-03T21:54:51.674716Z","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":"10.1007/978-3-031-90643-5_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Gurfinkel, A., Heule, M","venue":"Lecture notes in computer science","work_id":"21355989-e1c8-4886-aeb4-41429689edd7","year":2025},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.677611Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:9ff157fe56df46ea7c0eddbfa9066d18c63564711554d8fa997271729f772eda","observation_id":"871656a7-239f-4c82-b8b0-2e7dd56e3263","resolution":{"observed_at":"2026-08-03T21:58:29.825837Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-05792-1_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: 2nd International Joint Conference on Quantitative Evaluation of Sys- tems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS 2025)","venue":"Lecture notes in computer science","work_id":"65e77503-d389-416a-8ccb-394dbf404458","year":2025},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.680554Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:c43ab74fe03835459ce39b939e1c874d847d76a50a6c09f551adc8f53a4b5ff8","observation_id":"ef36403b-dbdf-45f1-a3cb-07959bfa3a48","resolution":{"observed_at":"2026-08-03T21:58:29.573412Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10489-020-01702-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Applied Intelligence","work_id":"24efcffb-2bbd-47df-a280-408c63df5fae","year":2020},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.683405Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:c1708a4279bd3764e7cc0330ed506e4b69499d6a17ecfe53fd6e99b216d34d83","observation_id":"5a7418b3-e587-43fc-a34a-0801c4f86b59","resolution":{"observed_at":"2026-08-03T21:58:29.328885Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.686341Z","title":"In: Silva, A., Leino, K.R.M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.686341Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:d476c5992b6e36bc34f7b3509ef355b3938f72194e1b85914e8b33ea42fe1adb","observation_id":"63b25a62-1aca-4f19-a10c-d9bface8aadc","resolution":{"observed_at":"2026-08-03T21:54:51.686341Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.689320Z","title":"Biometrika26(4), 404–413 (1934).https://doi.org/ 10.1093/biomet/26.4.404","venue":null,"work_id":null,"year":1934},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.689320Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:2514f35a88aa476dc535f7c630f021253ff3852d375257daf84a883c4257ec1c","observation_id":"f7a43218-7966-42ae-a347-f5c09cd1649b","resolution":{"observed_at":"2026-08-03T21:54:51.689320Z","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":"10.1007/978-3-030-55754-6_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Lee, R., Jha, S., Mavridou, A","venue":"Lecture notes in computer science","work_id":"6bb2cdab-d09a-4ac9-be1c-73c8f6278f84","year":2020},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.692209Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:8c4a8928e71e670982e5c303908d32a98501a1e5f7a2b21b23929625e0b82379","observation_id":"05ede435-39da-4660-b7bd-8e24b5504e96","resolution":{"observed_at":"2026-08-03T21:58:29.028404Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.695078Z","title":"In: Baier, C., Lago, U.D","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.695078Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:a43edf1e3095ff3ec264ec08dc7002257ad2b9fd50aa1fc80112b2af7f11fdac","observation_id":"423ed8dc-572b-43f0-9b4f-549d26423d1b","resolution":{"observed_at":"2026-08-03T21:54:51.695078Z","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":"10.1007/978-3-319-33693-0_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Ábrahám, E., Huisman, M.(eds.)12thInternationalConferenceonIntegratedFormalMethods(iFM2016)","venue":"Lecture notes in computer science","work_id":"8fe9dc4f-d027-45e6-807f-b1d9c3f1f020","year":2016},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.698021Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:e9b32eff395cc6e6024fd1ba972b48c5be6cfe4af6a08f78d5a597b960cac740","observation_id":"32ba7ccd-e3e1-44cc-b852-a5bf7c59f031","resolution":{"observed_at":"2026-08-03T21:58:28.819722Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-015-0383-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"International Journal on Software Tools for Technology Transfer","work_id":"12175802-966a-46b3-b4a3-3fb3b8ce3994","year":2015},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.700804Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:9c2f330d8ed75276ca342beea2527a70824022e25c8488fefdcef1cdffede465","observation_id":"3d776ebb-82f5-4ae8-8d12-139fb0457820","resolution":{"observed_at":"2026-08-03T21:58:28.511611Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.703428Z","title":"(eds.) 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.703428Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:51a7040fa67646c63635b60deb057be6623fb7bba838f16d4f10007a44d836e0","observation_id":"245c8b0e-147d-4af6-8db4-57536d420a73","resolution":{"observed_at":"2026-08-03T21:54:51.703428Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.706272Z","title":"In: Baier, C., Tinelli, C","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.706272Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:08aa774529aa5632520e20e47e97135ab5133be37baf6e97a7ac2deff964548a","observation_id":"e0a047ba-cabb-4f03-9dfe-5581751c0e8d","resolution":{"observed_at":"2026-08-03T21:54:51.706272Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.709036Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.709036Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b5b7e898e092db63c2b1c006710773c11aae8be215f6f2b034b81b52212aca05","observation_id":"9ac62351-3a23-46b8-917f-efee05cce465","resolution":{"observed_at":"2026-08-03T21:54:51.709036Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.711761Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.711761Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:c90bd76e87451e118bf46d78ce45ba720c2ddfa5fb8a987c721648da78dfb56d","observation_id":"cc02c93b-edca-4889-a2e4-dc6cb2a6afee","resolution":{"observed_at":"2026-08-03T21:54:51.711761Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.714424Z","title":"In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.714424Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:27c99775ea1221397165ef0e54809bb6695d719230650abd7581208a24adfeb8","observation_id":"adf144c5-02b2-436d-892f-c7458f7e48dd","resolution":{"observed_at":"2026-08-03T21:54:51.714424Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.717353Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.717353Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b263d2622c65a9f6dfb90112a2484d1d73d681d93f9c7262f57aec38f843cc12","observation_id":"880f9fda-6cfa-4521-ab31-0eb6dcc9d40a","resolution":{"observed_at":"2026-08-03T21:54:51.717353Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.720381Z","title":"In: Oh, A., Naumann, T., Glober- son, A., Saenko, K., Hardt, M., Levine, S","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.720381Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:3081d378069abc90993d602f55e88a0264ccc54f9b08bc8ba94b64b0a2b5a805","observation_id":"254ed8ee-8f7f-4810-848f-851a400fa31a","resolution":{"observed_at":"2026-08-03T21:54:51.720381Z","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":"10.1609/aaai.v36i9.21256","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: 36th AAAI Conference on Artificial Intelligence (AAAI 2022)","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"aa46fd4e-9345-48f1-98f3-d687e48ec0c7","year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.725851Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:30c335bf5d83654f5d7bc9343644234823fce70e2fd228e9b1d219211d9cb486","observation_id":"8c03996a-0a7e-4b53-96f9-3b7da5a20e50","resolution":{"observed_at":"2026-08-03T21:58:28.274481Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.728607Z","title":"In: Bernardo, M., Issarny, V","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.728607Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:9f36dc0137d4a352ed6080f957aab044cacdffc0fc4025792fad2326f0b26107","observation_id":"4a718289-2d6a-4609-80bd-b2a1c5fa0619","resolution":{"observed_at":"2026-08-03T21:54:51.728607Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.731324Z","title":"In: Abdulla, P.A., Leino, K.R.M","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.731324Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:5ba43ed4e73953e5e79e3d283c65890066bbac5d5ba53e0e46c38fefd8abf27d","observation_id":"95bca35b-1915-476c-9aef-5784eae896fc","resolution":{"observed_at":"2026-08-03T21:54:51.731324Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.734062Z","title":"Lecture Notes in Computer Science, vol","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.734062Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b4855ab6c2e9f68c1b67d3e261344a56190b7bff852db7935d8c718c7743eac0","observation_id":"fe9e56df-f7e6-48ad-bb5f-0796e22a2430","resolution":{"observed_at":"2026-08-03T21:54:51.734062Z","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":"10.1007/978-3-030-94583-1_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Finkbeiner, B., Wies, T","venue":"Lecture notes in computer science","work_id":"1ca26235-5c0e-421f-999c-b1eebf47947d","year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.737093Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:6a3683fd3f0842ed94f23251cbacb8ba7e4f955a1ad3df0a65993def3a0d03e1","observation_id":"822b77ba-12a5-47a1-ba07-abb50c5f1b0b","resolution":{"observed_at":"2026-08-03T21:58:28.009711Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/scientificamerican0173-108","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Scientific American","work_id":"8142c4e9-aafb-4095-83e5-1d99a27f337d","year":1973},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.739997Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:6c87ddeb5b9c6d970535f94f17767d6bb41ace5a332a1076376bf8f50d84376f","observation_id":"ecdc271f-8127-4c6b-9f9a-2b72dec83b51","resolution":{"observed_at":"2026-08-03T21:58:27.689459Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.743112Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.743112Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:e2a38cdb03cd81dfa558033ba02ebb1c2e66aacb95b15729c9b317593851b9b1","observation_id":"4e5f4b12-3bbc-464a-9968-e03f7954972d","resolution":{"observed_at":"2026-08-03T21:54:51.743112Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.745828Z","title":"In: Huis- man, M., Pasareanu, C.S., Zhan, N","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.745828Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:9acf36a03d32c7e61c0ae1d5f9bc64b73531368d3b101b5b866112bbe45de283","observation_id":"b9c98a1a-8a7d-4f2e-8058-aa6fe653b686","resolution":{"observed_at":"2026-08-03T21:54:51.745828Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.751563Z","title":"In: Ábrahám, E., Havelund, K","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.751563Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:5ce58ba034df942cc1fbfab982fdc06ad33c5f22e9c924fa2e64f602973348a5","observation_id":"baab4ee2-ef83-47c3-b845-6becc2d85420","resolution":{"observed_at":"2026-08-03T21:54:51.751563Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.754349Z","title":"In: Sankaranarayanan, S., Sharygina, N","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.754349Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b05a8282cdf7145120dd1b1c83a8c0b52270984d7ca70c16968bcc4659a596e9","observation_id":"4010052a-3a2d-457d-a7ec-445a84d287eb","resolution":{"observed_at":"2026-08-03T21:54:51.754349Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.757411Z","title":"In: Vojnar, T., Zhang, L","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.757411Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:92d76223fe2ba7661f176973f572f3b418074a09ef8b859aedc17d71fc03acbe","observation_id":"a32cc5c2-ee61-4e88-ac97-0501d2bb38d7","resolution":{"observed_at":"2026-08-03T21:54:51.757411Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.760652Z","title":"In: 2017 Winter Simulation Conference (WSC 2017)","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.760652Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:edf415f32ab2f8de741e9c777cafb0cf08455d38a99db72533d48cbfeeb15dbd","observation_id":"7ea3589b-f035-4fd5-bb89-077fbd5616f8","resolution":{"observed_at":"2026-08-03T21:54:51.760652Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.763357Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.763357Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:1e47e5a5dd3d20b23b2989eb08f972af976db1d0414b263a93987b5da7fad08e","observation_id":"7ba045df-6821-4204-b7ce-f7226518e6de","resolution":{"observed_at":"2026-08-03T21:54:51.763357Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.766355Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.766355Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b48f18b896be14b1bcc94ec476c0882419748f17a66ab3a73be6237751b25b98","observation_id":"ddc9f6db-302e-415c-8795-d71c5052ebf2","resolution":{"observed_at":"2026-08-03T21:54:51.766355Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.769224Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.769224Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:076694902534d98bc728a962f042aa42dc25e92c9af345132f449f6d835cd500","observation_id":"c05b4727-acc2-46e5-9d00-b197b3997c84","resolution":{"observed_at":"2026-08-03T21:54:51.769224Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.772056Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.772056Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:8520094f66bab0e32ce51849be21db2fbe8f9e6e025de39f51709e74640fc5cd","observation_id":"bd1cc64c-a81f-4d9a-a07e-e98e8e692421","resolution":{"observed_at":"2026-08-03T21:54:51.772056Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.774740Z","title":"MIT Press (1960)","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.774740Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:21dfbd172d27cd2002ba1cf3dcbd318551628924485e9ad084cdf5e53c65535c","observation_id":"16d712cd-a182-4c9a-a468-9e95f38781d0","resolution":{"observed_at":"2026-08-03T21:54:51.774740Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12221","last_updated":"2020-03-27T03:45:54Z","snapshot_observed_at":"2026-08-20T22:55:15.605503Z","submitted_at":"2020-03-27T03:45:54Z","title":"Generalized magnetoelectronic circuit theory and spin relaxation at interfaces in magnetic multilayers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12221","snapshot_observed_at":"2026-08-03T21:54:51.777426Z","title":"In: 2003 IEEE International Symposium on Computational Intelligence in Robotics and Au- tomation (CIRA 2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.777426Z"},"links":{"cited_paper":"/paper/2003.12221","citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:3f9bad2b3577d47838ba1c2e87ffe90b195240d201ebd411e4cfe7871895a311","observation_id":"9e966bd8-d325-40da-b6cd-62eed547e140","resolution":{"observed_at":"2026-08-03T21:54:51.777426Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.780443Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.780443Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:cadb519e7306d3f475e866c77f9de6fe3f10c4f9c278f9001c76940a26dc8739","observation_id":"d1231971-ae24-4426-a786-7f3c78eea30d","resolution":{"observed_at":"2026-08-03T21:54:51.780443Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.783056Z","title":"In: Grohe, M., Koski- nen, E., Shankar, N","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.783056Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:6dfe42bbaf56fd3e5a42239a8e08b2ba8fe22a60043aab0710d33d5d5430f662","observation_id":"da77eaff-335c-43d9-86d4-66f7f8472ea8","resolution":{"observed_at":"2026-08-03T21:54:51.783056Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-662-48057-1_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Italiano, G.F., Pighizzini, G., Sannella, D","venue":"Lecture notes in computer science","work_id":"37f6a35a-b8dd-4543-b785-3c519cb7116b","year":2015},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.785776Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:703e5ae3fc2e1671e7986dd8d22ea6f904a9ef8c184506ada694f0798f19e9af","observation_id":"8f1410f2-c1c8-4c9d-bd56-0c4a2cbecbd3","resolution":{"observed_at":"2026-08-03T21:58:27.176255Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.788971Z","title":"In: Dawar, A., Grädel, E","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.788971Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:d59bb2fc0e646eb1b8c0aed0d55affa1853c1805a8e57e2415600db3c2bba6f1","observation_id":"37cfcf10-b44b-4450-be49-585e883249bd","resolution":{"observed_at":"2026-08-03T21:54:51.788971Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.791707Z","title":"In: Gopalakrishnan, G., Qadeer, S","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.791707Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:5482d2fad24ccbbe6dbe485ce64aac16cd4f473dca2bac5e0df399cdea022951","observation_id":"be5a7683-c30c-4f50-adb3-026c01065db6","resolution":{"observed_at":"2026-08-03T21:54:51.791707Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.794439Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.794439Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:132348dea70079e86c9e817b8b5846069559ec5e55370c77d11d47c350195724","observation_id":"f337c75d-5827-4791-bdd8-18f543b60a29","resolution":{"observed_at":"2026-08-03T21:54:51.794439Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.804365Z","title":"In: Canal, C., Idani, A","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.804365Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:78dbfb36ab00dc23b5bafff4b8d36cc29288ec3c1d69648316bb539a01727442","observation_id":"e10bca18-80b1-4d3b-a776-91494b7d7f36","resolution":{"observed_at":"2026-08-03T21:54:51.804365Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.807031Z","title":"In: Shen, W., Abel, M., Matta, N., Barthès, J.A., Luo, J., Zhang, J., Zhu, H., Peng, K","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.807031Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:d695759ea74bb690dd07bdade4d55757d31c5c9d4edb119073054bfdce8667f6","observation_id":"d87ee544-c76b-4eb2-97b2-34044796188d","resolution":{"observed_at":"2026-08-03T21:54:51.807031Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.809767Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.809767Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:bcf029d9ad7ced74a1608aa3ea27d0db5bbec6a3a2679a61b80ba5dd3a1d151d","observation_id":"63600587-fb82-4b5f-aa8c-a7ecd227a65a","resolution":{"observed_at":"2026-08-03T21:54:51.809767Z","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":"10.1007/978-1-4613-8122-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer (1966).https:// doi.org/10.1007/978-1-4613-8122-8","venue":"Springer series in statistics","work_id":"d6365aef-96a5-4441-97ca-4c197c685585","year":1966},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.812732Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:4d5372c50b04a98b51b8179e814353a9779bf13ff42f635f941be873a6bc4272","observation_id":"7f53286e-283c-4f34-8ecc-5b17275aad32","resolution":{"observed_at":"2026-08-03T21:58:26.909878Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.816209Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.816209Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:abcee961233e6d109446b9c79649f5e7cdc76730549203e721b000084e2e70b7","observation_id":"e7062228-e001-4ee4-880e-4f4bd013dfa9","resolution":{"observed_at":"2026-08-03T21:54:51.816209Z","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":"10.1016/j.apenergy.2013.08.061","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Applied Energy","work_id":"8ad59075-8b8a-4240-aa4a-52e877dc615f","year":2014},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.818886Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:58a91b93551cc492ef69b454189d460557ef88cd5df7abfdf5c2fa14371e0544","observation_id":"d183e109-3c5b-46db-85ef-d0fba5ff8d2f","resolution":{"observed_at":"2026-08-03T21:58:26.666815Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.821847Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.821847Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:d3ae42210daddc292dbb3ef355fd307f90b71df332953f3c06615769f154e270","observation_id":"79060fd6-8c14-4c76-b077-527565eace00","resolution":{"observed_at":"2026-08-03T21:54:51.821847Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.824411Z","title":"In: Silva, S., Paquete, L","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.824411Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:0cbadfdf0619fcf4cb26d0001a0eca7597e0768dbda395e252aec5b583f9e9f9","observation_id":"dd22b3dd-7227-4d74-8f91-6952d2931844","resolution":{"observed_at":"2026-08-03T21:54:51.824411Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.829698Z","title":"In: Lamont, G.B., Haddad, H., Papadopoulos, G.A., Panda, B","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.829698Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:81d0720cdd615a8de7307fd13aff64ac48e320ce1c4a7ebeb2298ea397748657","observation_id":"8920378c-b835-4e28-b763-27af0b12476b","resolution":{"observed_at":"2026-08-03T21:54:51.829698Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.832402Z","title":"In: 18th Annual Symposium on Foun- dations of Computer Science (FOCS 1977)","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.832402Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:64256842915f0a517a4fd94b6cfc8ee60400ad9c12fd44a927d2ec7a7a017ac1","observation_id":"79ae8347-e1ae-4123-9c74-bb2ad1fdaff9","resolution":{"observed_at":"2026-08-03T21:54:51.832402Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.835399Z","title":"Wiley Series in Probability and Statistics, Wiley (1994).https:// doi.org/10.1002/9780470316887","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.835399Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:7e750bc1402a6aa800dfd3e1df541f76f838d4d3ef230bd98a8627e366236508","observation_id":"9234eb96-5c5d-4d6a-b51d-deb135ea14ce","resolution":{"observed_at":"2026-08-03T21:54:51.835399Z","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":"10.18154/rwth-2023-09669","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"RWTH Publications (RWTH Aachen)","work_id":"f83edb5a-8c55-4447-8e54-1306de9239f8","year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.838428Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:c7b435590510be04f89c967182ca9c645a4f1be62f1142e1582329bc1c9c957a","observation_id":"56d8542a-a115-45c5-818b-016a53a8a37e","resolution":{"observed_at":"2026-08-03T21:58:26.408141Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.841185Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.841185Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:e664ca244ebebe13f17c2dfcd808d39b4f04b41cfcc88e468df1880c89858a6f","observation_id":"10cb642d-1ee6-4a62-a68b-e3a4dd999ccf","resolution":{"observed_at":"2026-08-03T21:54:51.841185Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.843938Z","title":"Formal Methods Syst","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.843938Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b866ac1b351de84120db94b649abfa50b4066928aacd4226dc6bd58e30e68557","observation_id":"ba78890e-82a6-44b0-bcfb-632e843115f9","resolution":{"observed_at":"2026-08-03T21:54:51.843938Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.846957Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.846957Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:dec902c03285006b5ed570c150f941134f706b38a60bdc0ebc0fab10b42b0e83","observation_id":"a244970e-17b5-4ddf-8e90-3b7658c62c7b","resolution":{"observed_at":"2026-08-03T21:54:51.846957Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.850111Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.850111Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:d55063adfadca7f7b64532c63e8c5b9c7260d2d91879064f540cc6520b812d01","observation_id":"936d4af7-0ba3-4760-a900-51791220c090","resolution":{"observed_at":"2026-08-03T21:54:51.850111Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.852930Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.852930Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:e6690a89378e17cf98e17b36ecc96069336b9732bab2fbe355e52531c21e6639","observation_id":"118ead5a-ef65-4669-867b-1a9165ddef29","resolution":{"observed_at":"2026-08-03T21:54:51.852930Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.855866Z","title":"Future Gener","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.855866Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:08b05c2b2eb1372162218d480b3c3a3da2815e81e51b03bf099fb71a99acc9c4","observation_id":"73477307-1ac8-48fb-9608-2565a9daeb6d","resolution":{"observed_at":"2026-08-03T21:54:51.855866Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1057/palgrave.jors.2602068","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of the Operational Research Society","work_id":"724303f5-352d-4970-a25f-6a98c28e8601","year":2006},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.858692Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:55a61f69f293e7c31c0aa5d2587c88d08746efb340637a89c114b13cb0432c69","observation_id":"052aad27-c858-461c-964b-551ff56095df","resolution":{"observed_at":"2026-08-03T21:58:26.114542Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.861759Z","title":"In: Touretzky, D.S., Mozer, M., Hasselmo, M.E","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.861759Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:5e698f7672187513e23fb25aa7db5e5e59d79e1b589f3a4f4966bd54502552ba","observation_id":"379fe749-d51c-468d-a8d7-6cf0effcaabe","resolution":{"observed_at":"2026-08-03T21:54:51.861759Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.864661Z","title":"MIT Press (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.864661Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:1218e289af54c952cda9c673c1a53f74ee1faaf5519a602a2291342f5b5f683c","observation_id":"7a09f12c-6c69-4446-9915-efeb2e22955d","resolution":{"observed_at":"2026-08-03T21:54:51.864661Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.867668Z","title":"In: Pfen- ning, F","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.867668Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:106f0c88aea3c3083802e29816665e710931422f8458df4794fef3c0da517c94","observation_id":"e791bd55-6cd0-4806-9d82-fe8abfba5c3a","resolution":{"observed_at":"2026-08-03T21:54:51.867668Z","resolver_source":null,"status":"malformed_identifier"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.870465Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.870465Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:e2deca178a731ec1545f609060dcf021200ee7e7d9273c4c326c2cfe4c40ce66","observation_id":"ed708dd2-6d1a-498c-8477-4d6d77b07e63","resolution":{"observed_at":"2026-08-03T21:54:51.870465Z","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":"10.1162/evco_a_00118","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Evolutionary Computation","work_id":"810dffdf-30b4-4dc0-94c7-287481751622","year":2015},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.873405Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:52d1158ea8bee22eaeaa70d315282fc3cdb9f14c261189010d07e3e51ebb8c75","observation_id":"3753e799-3b51-4b1d-a2f7-cd29b8d9a38d","resolution":{"observed_at":"2026-08-03T21:58:25.917604Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/s0218126619500762","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Circuits Systems and Computers","work_id":"f3004591-f9b5-457b-964f-0c69e18eb49d","year":2019},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.876507Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:683d53d0c62a95cdcaa77019b6913dbdc9c40b716b6affebc1df108eb7bf76cc","observation_id":"95b3970f-5d91-40e8-8cfe-70b07acefea0","resolution":{"observed_at":"2026-08-03T21:58:25.775561Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.879646Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.879646Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:166cf5eb5bea1e08f30ef898e1d6a1e2c4de31c88f958b94711de2bb807d001f","observation_id":"0d26860e-e1b5-443a-8a59-b783457dd5bf","resolution":{"observed_at":"2026-08-03T21:54:51.879646Z","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":"10.1007/s10994-013-5369-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Machine Learning","work_id":"ff09001e-fe39-420d-bce4-9d9320c91194","year":2013},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.882454Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:1f1df0d6a2c1c45fad24e488a303f35b0e5f7e9239465f8fcc5242e41d57d4cf","observation_id":"6e508b2b-3e42-445f-85f0-f416796c8561","resolution":{"observed_at":"2026-08-03T21:58:25.637181Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/978-1-60750-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:58:25.417305Z","title":"In: Coelho, H., Studer, R., Wooldridge, M.J","venue":null,"work_id":"906d410a-3477-429d-a0ef-c87359dca4f4","year":2010},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.885093Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:cdbbce554f3f968e174c34a86b44545d48aebd13fcad96bd74780b201be0dc6b","observation_id":"65e6a292-228a-41c2-bce2-c9c054a1a4b0","resolution":{"observed_at":"2026-08-03T21:58:25.504174Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.887791Z","title":"In: 2014 IEEE Symposium on Adaptive Dynamic Pro- gramming and Reinforcement Learning (ADPRL 2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.887791Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:0bd41cf9d6ee0a93c692e65b0661fc5e39f42fa5f652d7d930c656b235b37028","observation_id":"bedcdd78-0236-4a16-b676-7ed6ee260556","resolution":{"observed_at":"2026-08-03T21:54:51.887791Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.890465Z","title":"In: Bonet, B., Koenig, S","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.890465Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:48c0c0f8a3664fb8409067cd9fd2d2cb504f41f9723435fc7e2b17afe3b3c817","observation_id":"27f40822-45dd-4317-addc-fb5d11832479","resolution":{"observed_at":"2026-08-03T21:54:51.890465Z","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":"10.1007/978-3-030-22649-7_25","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Yamamoto, S., Mori, H","venue":"Lecture notes in computer science","work_id":"5e773e1e-9635-40f9-a43c-548368b770a1","year":2019},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.893246Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:1ecbe6ffb6cbe8c2e5d68f1686659708dd1c1d07ffaf13c2d1a3cc8962eddfbd","observation_id":"ea564e3e-c3c4-4c84-90c1-23f204afde1d","resolution":{"observed_at":"2026-08-03T21:58:25.304884Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.896010Z","title":"In: Brinksma, E., Larsen, K.G","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.896010Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:06cf9def41a5cdc6e7a2753c3b56de1c674ef1b44231cd9997002953d7b7c1e5","observation_id":"5011234d-5d61-4f88-ac70-f22559c705b5","resolution":{"observed_at":"2026-08-03T21:54:51.896010Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.898716Z","title":"IEEE Trans","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.898716Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:1bae6c78dae5094bb20da5b231d5b061f5d9fe5615be4a3a087e70bb35771a0b","observation_id":"29de8813-82ff-4c07-b358-4144a844b849","resolution":{"observed_at":"2026-08-03T21:54:51.898716Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.901550Z","title":"EURASIP J","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.901550Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:46c3f96b3c3710234454216352c5416950f2acb68e135ae8b7c8ff5b3f8db61b","observation_id":"c36e224b-43d8-4272-8d6d-722d3cb55a48","resolution":{"observed_at":"2026-08-03T21:54:51.901550Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-88908-3_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Branke, J., Deb, K., Miettinen, K., Slowinski, R","venue":"Lecture notes in computer science","work_id":"7c7d19a4-d348-43f0-bf63-4bed5766d336","year":2008},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.904434Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b7b95971315ce36994febdfb0a28c6de03aaecec15ada3bc75baded4d74c637c","observation_id":"67a84a66-0b5e-4932-8443-a73500e16dbd","resolution":{"observed_at":"2026-08-03T21:58:24.941036Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.907210Z","title":"In: Eiben, A.E., Bäck, T., Schoenauer, M., Schwefel, H.P","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.907210Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:1cb3657790a114882e58349eed6939889342daec961f93c22c07da079271160c","observation_id":"eae98bd9-98d4-4a29-a3a8-e1179223437a","resolution":{"observed_at":"2026-08-03T21:54:51.907210Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.910074Z","title":"ground truth","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.910074Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:b6fbdcc5ccc4406c042103c23330c8810b05c66cd3d9ede30fb0fa3dac9d846d","observation_id":"a095c79a-2f28-44b6-9ec1-31451715c6d7","resolution":{"observed_at":"2026-08-03T21:54:51.910074Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-90870-6_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"737bb939-5666-4df2-9cb9-1862e65e6c6e","year":2021},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":159,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.748813Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:ffd9c1eb277cc9c127e79e7ed4de4a43ac38838e9f9004a25c5bd2c01b67816c","observation_id":"2325056d-7379-499e-92a9-1106b2c7a154","resolution":{"observed_at":"2026-08-03T21:58:27.487246Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.827013Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":1971,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.827013Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:a781acb19a2a5fac21dc2183797182ad1245b827f032d42a4552543b907d6139","observation_id":"ba442a00-d7d3-4534-955a-afb53994b160","resolution":{"observed_at":"2026-08-03T21:54:51.827013Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T21:54:51.723195Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-03T21:54:51.723195Z"},"links":{"citing_paper":"/paper/2511.13460"},"observation_digest":"sha256:9b79859b39bffec4b18c7b426eb84442437d93b4ad9d530a5a516087031257af","observation_id":"ea5ba68d-d13c-4e70-9cfc-ac77aad016e8","resolution":{"observed_at":"2026-08-03T21:54:51.723195Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2511.13460","last_updated":"2026-07-01T13:26:58Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-21T19:48:31.557463Z","submitted_at":"2025-11-17T15:06:20Z","title":"Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)"},"reference_resolution":{"displayed":99,"state_counts":{"malformed_identifier":24,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":51,"verified_exact":24,"verified_fuzzy":0},"total_outbound_references":99},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 99 of 99 outbound references and 0 inbound Pith citation observations for arXiv:2511.13460."}